rafapra3008/cervellaswarm
Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter, and LSP. Catches deadlocks and role violations before deployment.
- Category
- Security
- Language
- Python
- License
- Apache-2.0
- Stars
- 6
- Source
- https://github.com/rafapra3008/cervellaswarm