Plugin marketplace

quint-llm-kit

Agent skills for Quint — formal specification for distributed systems. Write specs, translate TLA+, generate specs from code, review and verify.

122 · quint-co/quint-llm-kit1 pluginApache-2.0updated 4 months ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

quint-llm-kit

claude

Agent skills for working with Quint — the formal specification language for distributed systems. Covers spec writing, TLA+ translation, code-to-spec generation, spec review, and verification framing.

3 skills

122

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted