| Cervellaswarm | Beelzebub | |
|---|---|---|
| Description | Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter, and LSP. Catches deadlocks... | Beelzebub is a honeypot framework that lets you build honeypot tools using MCP. Its purpose is to detect prompt injection or malicious agent behavi... |
| Category | Security | Security |
| Language | Python | Go |
| License | Apache-2.0 | GPL-3.0 |
| Stars | 6 | 1940 |
| Website | https://github.com/rafapra3008/cervellaswarm | https://docs.beelzebub.ai |