PyPI page
Home page
Author:
MuLIAICHI
License:
MIT
Summary:
Formal mathematical verification (TLA+) guardrails for PydanticAI agents.
Latest version:
0.1.1
Required dependencies:
pydantic
|
pydantic-ai
Optional dependencies:
pytest
|
pytest-asyncio
Downloads last day:
2
Downloads last week:
8
Downloads last month:
231