pulsemcp Safe content atomic mcp-remote

Quint

Provides six tools wrapping the Quint CLI for formal verification workflows. Supports type-checking specifications, running random simulations with invariant checking and counterexample traces, executing named test definitions, performing exhaustive model checking via the Apalache backend, parsing specifications into IR JSON, and looking up Quint language documentation. Designed for verifying distributed system designs through mathematical modeling.

Cognium trust score

50%

Tier

Unverified

Composite of vulnerability cleanliness, spec conformance, provenance, stability, and usage signals — scanned and weighted by Cognium. Human and agent signals are tracked separately.

View full trust & usage report →

Metadata

Version: 1.0.0
Skill type: atomic
Execution layer: mcp-remote
Category: file-system
Source: PulseMCP
Repository: github.com/dpdanpittman/mcp-server-quint
Author type: human
Updated: 2026-04-25

View source Find related skills

MCP

Resolve Quint from your agent

Streamable HTTP transport at https://api.skillsregistry.net/mcp. No auth for read tools. Discovery: .well-known/mcp.json.

One command in your shell — Claude Code wires it up and verifies the connection. Run /mcp in any session to confirm.

claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp

Swap --scope user for --scope project to commit it to .mcp.json.

Your client Same endpoint everywhere; only the config key differs. The full list is in the descriptor.

Claude Desktop · Settings → Connectors → Add custom connector

https://api.skillsregistry.net/mcp

Paste the URL as the connector endpoint. No authentication.

ChatGPT · Settings → Connectors → Create (developer mode) → MCP server URL

https://api.skillsregistry.net/mcp

Authentication: none. Works in chat and deep research — the server exposes the connector search and fetch tools.

Codex CLI · ~/.codex/config.toml

[mcp_servers.skillsregistry]
url = "https://api.skillsregistry.net/mcp"