PyPI page
Home page
Author:
Rohan Munshi
License:
MIT
Summary:
Build LLM agents you can prove things about — Z3 proofs, CTL model checking, and conformal risk control, verified in the loop.
Latest version:
0.11.6
Required dependencies:
instructor
|
networkx
|
openai
|
pydantic
|
pymodelchecking
|
python-dotenv
|
pyyaml
|
z3-solver
Optional dependencies:
fastapi
|
pytest
|
pytest-asyncio
|
uvicorn
Downloads last day:
7
Downloads last week:
186
Downloads last month:
2,981
7-day smoothing