1. Conduid
  2. Cloud
  3. Quint
MCP server · Cloud

Quint

· github.com/dpdanpittman/mcp-server-quint

MCP server for the Quint formal specification language — typecheck, simulate, test, verify, and parse Quint specs via any MCP client

Unclaimed cloud
InstallView source
34Low

Scored a month ago · breakdown

About Quint

Quint is an MCP server in the Cloud category: mCP server for the Quint formal specification language — typecheck, simulate, test, verify, and parse Quint specs via any MCP client.

Install

From source
git clone https://github.com/dpdanpittman/mcp-server-quint

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Tools (6)

quint_docsQuick reference for Quint syntax and built-in operators. Returns a curated cheat sheet for the requested topic. No CLI call needed.

Parameters not published.

quint_parseParse a Quint spec and return the intermediate representation (IR) as JSON. Useful for inspecting the AST or checking for parse errors.

Parameters not published.

quint_runSimulate a Quint specification with random execution. Runs the state machine and optionally checks an invariant. Returns pass/fail and a counterexample trace if the invariant is violated.

Parameters not published.

quint_testRun named test definitions (run statements) from a Quint spec. Returns pass/fail for each test with failure details.

Parameters not published.

quint_typecheckType-check a Quint specification. Returns success or type errors with locations. Provide either source code or a file path.

Parameters not published.

quint_verifyExhaustive model checking of a Quint spec via Apalache (requires Java 17+). Slower than simulation but checks ALL reachable states. Returns pass or a counterexample trace. Falls back gracefully if Apalache is not installed.

Parameters not published.

Ask AI

✦

Ask AI about Quint

Powered by Claude · Grounded in docs

I know everything about Quint. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Questions

About Quint

How do I install Quint?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Quint safe to use with an AI agent?

Its trust score is 34 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Quint still maintained?

Conduid hasn't recorded a commit date for this repository yet. Check the repository directly for recent activity.