{"id":"1c4f1b71-ae3b-4ea8-a45e-815e1fdfa281","shortId":"vFQBP7","kind":"mcp","title":"Quint","tagline":"Wraps the Quint formal specification language CLI for type-checking, simulation, testing, exhaustive model checking v...","description":"Wraps the Quint formal specification language CLI for type-checking, simulation, testing, exhaustive model checking via Apalache, and documentation lookup.\n\nProvides 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.","tags":["quint"],"capabilities":["mcp","transport-stdio","open-source"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"https://github.com/dpdanpittman/mcp-server-quint","protocol":"mcp","transport":"stdio","auth":{"type":"mcp","details":{"transport":"stdio"}},"qualityScore":"0.554","qualityRationale":"deterministic score 0.55 from registry signals: · indexed on pulsemcp · has source repo · 2 github stars · registry-generated description present","verified":false,"liveness":"unknown","lastLivenessCheck":null,"agentReviews":{"count":0,"score_avg":null,"cost_usd_avg":null,"success_rate":null,"latency_p50_ms":null,"narrative_summary":null,"summary_updated_at":null},"enrichmentModel":"deterministic:mcp:v1","enrichmentVersion":1,"enrichedAt":"2026-04-24T17:22:09.331Z","embedding":null,"createdAt":"2026-04-21T19:27:47.461Z","updatedAt":"2026-04-24T17:22:09.331Z","lastSeenAt":"2026-04-24T17:22:09.331Z","tsv":"'apalach':36,75 'backend':76 'check':12,17,29,34,54,61,72 'cli':8,25,46 'counterexampl':63 'definit':68 'design':88,93 'distribut':91 'document':38,87 'execut':65 'exhaust':15,32,70 'formal':5,22,48 'invari':60 'ir':80 'json':81 'languag':7,24,86 'look':83 'lookup':39 'mathemat':95 'mcp' 'model':16,33,71,96 'name':66 'open-source' 'pars':77 'perform':69 'provid':40 'quint':1,4,21,45,85 'random':57 'run':56 'simul':13,30,58 'six':41 'specif':6,23,55,78 'support':51 'system':92 'test':14,31,67 'tool':42 'trace':64 'transport-stdio' 'type':11,28,53 'type-check':10,27,52 'v':18 'verif':49 'verifi':90 'via':35,73 'workflow':50 'wrap':2,19,43","prices":[{"id":"59d7a956-b3d6-453f-b027-6b5364079fc2","listingId":"1c4f1b71-ae3b-4ea8-a45e-815e1fdfa281","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-04-21T19:27:47.461Z"}],"sources":[{"listingId":"1c4f1b71-ae3b-4ea8-a45e-815e1fdfa281","source":"pulsemcp","sourceId":"https://www.pulsemcp.com/servers/dpdanpittman-quint","sourceUrl":"https://api.pulsemcp.com/v0beta/servers","isPrimary":true,"firstSeenAt":"2026-04-21T19:27:47.461Z","lastSeenAt":"2026-04-24T17:22:09.331Z"}],"details":{"listingId":"1c4f1b71-ae3b-4ea8-a45e-815e1fdfa281","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"pulsemcp","transport":"stdio","server_name":"Quint","github_stars":2,"registry_url":"https://www.pulsemcp.com/servers/dpdanpittman-quint","source_code_url":"https://github.com/dpdanpittman/mcp-server-quint"},"updatedAt":"2026-04-24T17:22:09.331Z"}}