PyPI page
Home page
Author:
CervellaSwarm Contributors
Summary:
A verification language for AI agent protocols — session types, compiler, code generation, and formal verification
Latest version:
0.5.0
Optional dependencies:
anthropic
|
faster-whisper
|
pygls
|
pytest
|
pytest-cov
|
ruff
|
sounddevice
Downloads last day:
2
Downloads last week:
95
Downloads last month:
130