rafapra3008/cervellaswarm MCP Server
Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter,
返回 MCP 专区
开发工具
rafapra3008/cervellaswarm
0 starsVerify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter,
典型使用场景
- AI 直接创建 PR、查看 Issues、提交代码
- 自动化 CI/CD 流程，监控构建状态
- 智能 Code Review，自动标注问题
查看源码 / 官方文档
访问 GitHub 仓库获取最新文档、配置说明和 issue 反馈。
在 GitHub 上查看相关 MCP Server
Gaffx/volatility-mcpMCP server for Volatility 3.x, allowing you to perform memory forensics analysis with AI assistant. Experience memory fogbrigandi/mcp-server-cortexA Rust-based MCP server to integrate Cortex, enabling observable analysis and automated security responses through AI.gbrigandi/mcp-server-thehiveA Rust-based MCP server to integrate TheHive, facilitating collaborative security incident response and case managementgbrigandi/mcp-server-wazuhA Rust-based MCP server bridging Wazuh SIEM with AI assistants, providing real-time security alerts and event data for egetaegis/aegisCredential isolation proxy for AI agents. Injects secrets at the network boundary with domain restrictions, agent authenknowledgepa3/gia-mcp-serverEnterprise AI governance layer with 29 tools: MAI decision classification (Mandatory/Advisory/Informational), hash-chain