PyPI page
Home page
Author:
None
Summary:
Formally verified AI code generation: natural language -> code + proof -> verified binary
Latest version:
0.1.0
Required dependencies:
click
|
httpx
|
pydantic
|
pyyaml
|
rich
|
structlog
Optional dependencies:
anthropic
|
mypy
|
openai
|
pytest
|
pytest-asyncio
|
pytest-cov
|
respx
|
ruff
|
vericode
Downloads last day:
4
Downloads last week:
10
Downloads last month:
113