Quint

2

Wraps the Quint formal specification language CLI for type-checking, simulation, testing, exhaustive model checking via Apalache, and documentation lookup.

GitHub
Category CLI Tools
Added Mar 28, 2026
Views 94

About

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.

Is this your product? Claim this listing with an email at your domain to post updates.

Is this your project?

Claim this listing to manage your page, access analytics, and unlock upgrades. Verification takes 60 seconds.

Log In to Claim

Share This Project

Share on X Share on LinkedIn

Embed Badge

Add this badge to your README:

[![Listed on AiList](https://hifriendbot.com/ai-list/badge/quint.svg)](https://hifriendbot.com/ai-list/quint/)
Listed on AiList

Compare

Quint vs RoCQ Quint vs TypeScript Quint vs Microsoft Flight Simulator SDK

Similar Projects

RoCQ

9

Integrates the Coq proof assistant with natural language inputs to enable automated dependent type checking, inductive type definition, and property proving for formal verification and theorem proving tasks.

MCP Servers

TypeScript

4

Bridges TypeScript development tools with coding agents by wrapping tsgo's Language Server Protocol in an MCP interface, providing real-time type checking, code navigation, diagnostics, symbol lookup, and safe cross-project renaming.

MCP Servers

Microsoft Flight Simulator SDK

4

Provides TypeScript-based access to Microsoft Flight Simulator SDK documentation through web scraping and natural language processing, enabling flight simulation developers to search and retrieve API references, code examples, and technical specifications through conversational queries.

Libraries TypeScript

List Your Project

Join the directory Ai agents read. Free forever.

Submit Your Project