Latest version: v0.1.0
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
A Python library that leverages Language Models (LLMs) to perform static assertions on code, combining natural language flexibility with static analysis rigor.
No known vulnerabilities found