MCP server · source category: Security
rafapra3008/cervellaswarm
Verify agent communication protocols with session types and Lean 4 proofs to catch deadlocks and role violations; includes…
Verify agent communication protocols with session types and Lean 4 proofs to catch deadlocks and role violations; includes a linter, formatter and LSP.
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
- echelongraph/echelongraph-mcp Keyless, read-only CVE and internet-exposure intelligence: CVE lookup and search, CISA KEV, EPSS history, CWE, vend…
- emektor/toolwrit Policy sidecar for any MCP server: deny-by-default tool allowlist with argument rules, call and USD budget caps, and a…
- equinoxaifinance-rgb/living-stack-mcp Stops AI agents from claiming done without proof. Fourteen bounded tools add scoped authorization, budget reservations, ty…
- GautamTalksDev/mcp-pin Stdio proxy that pins every tool definition (name, description, input schema, annotations) when you approve a server and b…
- girste/mcp-cybersec-watchdog Comprehensive Linux server security audit with 89 CIS Benchmark controls, NIST 800-53, and PCI-DSS compliance checks. Real-time…
- jagmarques/asqav-mcp AI agent governance MCP server with policy enforcement, quantum-safe audit trails (ML-DSA), multi-party authorization, and…
Browse all Security & Identity MCP servers.