Chimera-Protocol/csl-core
AI & ML
Free
Open Source
๐ ๐ ๐ ๐ช ๐ง - Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.
<p><strong>Chimera-Protocol/csl-core</strong> is a ai & ml MCP server that ๐ ๐ ๐ ๐ช ๐ง - Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP..</p>
<h2>How to Use Chimera-Protocol/csl-core</h2>
<p>To use Chimera-Protocol/csl-core, you need an MCP-compatible client such as Claude Desktop, Cursor, or VS Code with an MCP extension. Once configured, the AI model can automatically use the tools provided by this server.</p>
Key Features
- Open source with community contributions
Similar MCP Servers
View all โ
Servers
Model Context Protocol Servers
Awesome Claude Skills
A curated list of awesome Claude Skills, resources, and tools for customizing Claude AI workflows
Chatgpt On Wechat
CowAgentๆฏๅบไบๅคงๆจกๅ็่ถ ็บงAIๅฉ็๏ผ่ฝไธปๅจๆ่ๅไปปๅก่งๅใ่ฎฟ้ฎๆไฝ็ณป็ปๅๅค้จ่ตๆบใๅ้ ๅๆง่กSkillsใๆฅๆ้ฟๆ่ฎฐๅฟๅนถไธๆญๆ้ฟ๏ผๆฏOpenClawๆด่ฝป้ๅไพฟๆทใๅๆถๆฏๆๅพฎไฟกใ้ฃไนฆใ้้...
Fastapi Mcp
Expose your FastAPI endpoints as Model Context Protocol (MCP) tools, with Auth!