MCP server · source category: Security
rafapra3008/cervellaswarm
Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter, a…
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.
Record
- Type
- MCP server
- Category
- Security & Identity
- Authentication
- No authentication
- Pricing
- Free
Fields are reproduced from the source registry as-is. “Unknown” means the source did not describe the field — it is not an inference. See the methodology for how records are collected and normalised.
Similar MCP servers in Security & Identity
- 123Ergo/unphurl-mcp URL intelligence for AI agents. 13 tools for security signals and data quality: redirect behaviour, brand impersonation detection,…
- 13bm/GhidraMCP MCP server for integrating Ghidra with AI assistants. This plugin enables binary analysis, providing tools for function inspectio…
- aeoess/agent-passport-mcp Agent identity, scoped delegation, and governance: issue passports, build and verify narrowing-only delegation chains, enfor…
- agentward-ai/agentward Permission control plane for AI agents. MCP proxy that enforces least-privilege YAML policies on every tool call, classifi…
- aggrete/aggrete Policy proxy that governs what AI assistants can reach and do: refuses forbidden tool calls before the upstream is contacted, wi…
- AIops-tools/Compliance-AIops A meta-tool that reads other AIops tools' audit trails and seals framework-mapped (HIPAA/PCI-DSS/SOC 2/GDPR) hash-chained evidence…
Browse all Security & Identity MCP servers.