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, simulate, and enforce machine-verifiable safety constraints for AI agents. Com
A very streamlined mcp client that supports calling and monitoring stdio/sse/streamableHttp, and can also view request responses through the /logs page. It also
| Feature | CSL Core | llm-analysis-assistant |
|---|---|---|
| Pricing | Free | Free |
| Installs | — | — |
| Rating | — | — |
| Verified | — | |
| Hosted | Hosted | — |
| Tools | — | — |
| Category | ai | ai |
| Author | Chimera-Protocol | xuzexin-hz |
| Repo | Chimera-Protocol/csl-core | xuzexin-hz/llm-analysis-assistant |
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.
A very streamlined mcp client that supports calling and monitoring stdio/sse/streamableHttp, and can also view request responses through the /logs page. It also supports monitoring and simulation of ollama/openai interface.
Looking for something else? Browse all MCPs or check trending this week.