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.
Integrates the Quint formal specification language into LLM workflows for accessible formal verification. It provides tools for type-checking, random simulation
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 | Server Quint | llm-analysis-assistant |
|---|---|---|
| Pricing | Free | Free |
| Installs | — | — |
| Rating | — | — |
| Verified | — | |
| Hosted | — | — |
| Tools | — | — |
| Category | ai | ai |
| Author | dpdanpittman | xuzexin-hz |
| Repo | dpdanpittman/mcp-server-quint | xuzexin-hz/llm-analysis-assistant |
Integrates the Quint formal specification language into LLM workflows for accessible formal verification. It provides tools for type-checking, random simulation, exhaustive model checking, and syntax documentation.
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.