loading…
Search for a command to run...
loading…
Side-by-side comparison of two Model Context Protocol servers. Pick the right one for Claude Desktop, Claude Code, or Cursor.
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.
Retrieval from AWS Knowledge Base using Bedrock Agent Runtime.
| Feature | Chimera-Protocol/csl-core | AWS KB Retrieval |
|---|---|---|
| Pricing | Free | Free |
| Installs | — | — |
| Rating | — | — |
| Verified | — | |
| Hosted | — | — |
| Tools | — | — |
| Category | ai | ai |
| Author | Chimera-Protocol | modelcontextprotocol |
| Repo | Chimera-Protocol/csl-core | modelcontextprotocol/servers-archived |
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, and enforce machine-verifiable constraints for AI agents via MCP.
Retrieval from AWS Knowledge Base using Bedrock Agent Runtime.
Looking for something else? Browse all MCPs or check trending this week.