quint-co

2 repositories with Claude Code or Codex plugins.

quint2,086
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
1 plugin · quint-co/quint
quint-llm-kit122
Agents and tools for using Quint with LLMs
1 plugin · quint-co/quint-llm-kit