PyPI page
Home page
Author:
None
License:
AGPL-3.0-only
Summary:
Formal verification pipeline for AI-generated Python code — 5-stage proof from syntax to Dafny, with CVE scanning, property-based testing, and CEGIS retry loop.
Latest version:
0.1.3
Required dependencies:
click
|
hypothesis
|
litellm
|
pydantic
|
pyyaml
|
rich
|
textual
Optional dependencies:
cyclonedx-bom
|
fastapi
|
mcp
|
playwright
|
pytest
|
pytest-asyncio
|
uvicorn
|
watchdog
Downloads last day:
0
Downloads last week:
13
Downloads last month:
68