AI Tools Scout
Open-source ToolsLLM ProjectsMCP ServersMethodology
AI Tools Scout

An open-source AI tools directory with clear use cases, visible source freshness, and maintenance evidence for anyone deciding what to try.

Explore
Open source AI projectsOpen source LLM projectsMCP servers list
More
SkillsContentAbout
Rankings use public ecosystem signals. Treat them as a starting point, then confirm license, setup, safety, and fit with the upstream project.
  1. Home
  2. /MCP Servers
  3. /Quint

Quint

Design

by dpdanpittman

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

GitHub ↗PulseMCP
2
Stars
0
Installs
0
Tools
N/A
Security

Server Info

Category
Design
Deployment
N/A
npm Package
N/A
PyPI Package
N/A
npm Downloads/Week
N/A
Source
PulseMCP
Published
N/A
Last Updated
5/12/2026

Weekly AI open-source movers

Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.