Chimera-Protocol/csl-core MCP Server
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constra
返回 MCP 专区
开发工具
Chimera-Protocol/csl-core
0 starsDeterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constra
典型使用场景
- 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