Quint vs TypeScript

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

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.

CLI Tools

MCP Servers

2

—

—

—

—

—

—

—

—

67

10