Quint LLM Kit
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…
Пакет плагинов · от Informal Systems
Коротко
Quint LLM Kit: пакет плагинов для ИИ-инструментов разработки, издатель Informal Systems. Витрин, которые мы читаем и где он опубликован: 1 (Community GitHub marketplaces). Последнее изменение мы зафиксировали 2026-11-07. Данные нашего прохода по витринам на 2026-11-07.
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.
Что просит
- Ставится как пакет плагинов
Ни одна из витрин, которые мы читаем, не публикует его инструменты или настройки, которые он просит.
Что объявляет, просит и запускает, полностью
Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.
Работает с
- Claude Code
По маркетплейсам, где он опубликован, и объявленному транспорту MCP, как их документирует каждый клиент. Плагины мы не тестируем.
Подключить
Команды и конфигурации собраны только из того, что объявляют витрины. Мы не запускаем их за вас и не проверяем плагины.
Как плагин Claude Code
Собрано из того, что объявляет Community GitHub marketplaces.
/plugin marketplace add quint-co/quint-llm-kit
/plugin install quint-llm-kit@quint-llm-kitГде опубликован
| Витрина | Статус | Версия | Числа | Проверен | Впервые замечен |
|---|---|---|---|---|---|
| Маркетплейс сообщества quint-co/quint-llm-kit (Открыть исходники на GitHub) | Опубликован | 1.0.0 | Форки (GitHub): 13 Звёзды (GitHub): 118 |
Не помечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Есть в одном маркетплейсе сообщества
| Витрина | Репозиторий | Звёзды (GitHub) |
|---|---|---|
| quint-llm-kit | quint-co/quint-llm-kit | 118 |
Как менялись числа
- 2026-11-05116
- 2026-11-07118
Каждая точка: день, когда мы прочитали другое число; ровные участки: дни, когда число не менялось. Числа разных витрин никогда не складываются.
Что входит в пакет
Так опубликовано на витрине Community GitHub marketplaces.
Скиллы: 3
quint-execute-specquint-langquint-modeling
Что менялось
- Стал продуктом, за которым мы следим
- Community GitHub marketplaces: появился
Похожие плагины
Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.
-
Formal methods toolkit for multi-agent development. Define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and generate TypeScript/Python code with runtime…
-
SpecForge — compile natural-language requirements into spec.yaml bundles and implement from spec inside Claude Code.
-
Code intelligence platform for AI agents. 20 tools for architecture, security & impact analysis.
-
Accelerates software delivery by automating SDLC stages inside Claude Code — Claude facilitates writing specs and designing architecture, then autonomously builds implementation…
-
Spec-Driven Development framework for Data Engineering — 58 agents, 24 KB domains, 5-phase SDD workflow, 31 commands
-
A set of strict, senior-level engineering guardrails and security standards for AI coding agents.
-
Architecture intelligence, security analysis, and living docs. 15 tools, Mermaid output.
-
30+ deterministic dev and delivery tools: linting, metrics, diagrams, model advice, AI-text checks.
-
agents-development-architecture
Expert agents for software architecture, backend development, and system design
-
software-architecture-analysis
Use this skill to reverse-engineer an existing software system, map its architecture, data flow, privacy posture, coupling, quality characteristics, and feature surface, then…
Похожие плагины по витринам
Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?
Есть на витрине Claude Code: claude-plugins-community (5)
-
Formal methods toolkit for multi-agent development. Define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and generate TypeScript/Python code with runtime…
-
SpecForge — compile natural-language requirements into spec.yaml bundles and implement from spec inside Claude Code.
-
Accelerates software delivery by automating SDLC stages inside Claude Code — Claude facilitates writing specs and designing architecture, then autonomously builds implementation…
-
A set of strict, senior-level engineering guardrails and security standards for AI coding agents.
-
Prevents subagent tech debt by injecting project architectural context (module boundaries, CLAUDE.md rules, conventions) into every subagent's prompt. Validates code placement and…
Есть на витрине Claude Code: claude-plugins-official (5)
-
Comprehensive development workflow for building AI agents with the Atomic Agents framework. Includes specialized agents for schema design, architecture planning, code review, and…
-
Comprehensive feature development workflow with specialized agents for codebase exploration, architecture design, and quality review
-
Help Claude Code champions run hackathons and office hours, find patterns worth sharing, help teammates climb the steps of AI adoption, and write a shareable AI maturity report.
-
Interactive self-referential AI loops for iterative development, implementing the Ralph Wiggum technique. Claude works on the same task repeatedly, seeing its previous work, until…
-
Output.ai workflow development toolkit for Claude Code. Adds 5 specialist agents (planner, builder, debugger, prompt writer, quality reviewer), 40+ slash-command skills covering…
Есть на витрине Claude: knowledge-work-plugins (5)
-
AI-first project auditor and re-engineer based on the 9 design principles and 7 design patterns from the TechWolf AI-First Bootcamp
-
Streamline engineering workflows — standups, code review, architecture decisions, incident response, and technical documentation. Works with your existing tools or standalone.
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
Agentic engineering skills for Qt software development — Qt C++/QML code review, QML coding, and Qt C++/QML code documentation.
-
Security review for Claude-generated code. Pattern-based warnings on edits, LLM-powered diff review on Stop, and an agentic commit reviewer that catches injection, XSS, SSRF…
Есть на витрине Codex: openai-curated (openai/plugins) (5)
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
AI-powered code review in Codex, powered by CodeRabbit.
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
Qodo setup, code intelligence, and review workflows.
-
Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.
Есть на витрине Community GitHub marketplaces (5)
-
Spec-Driven Development framework for Data Engineering — 58 agents, 24 KB domains, 5-phase SDD workflow, 31 commands
-
agents-development-architecture
Expert agents for software architecture, backend development, and system design
-
software-architecture-analysis
Use this skill to reverse-engineer an existing software system, map its architecture, data flow, privacy posture, coupling, quality characteristics, and feature surface, then…
-
Autonomous end-to-end development system - from requirement to production-ready code with zero manual intervention
-
Skills for AI-native development: /assess (codebase readiness scoring + complexity hotspot SVG) and /huddle (Six Thinking Hats deliberation with Fibonacci team sizing). Also…
Есть на витрине Copilot CLI: github/awesome-copilot (5)
-
7 specialized agents covering the full software development lifecycle from UX design and architecture to security and DevOps.
-
Model, visualize, and deploy applications with Radius from the GitHub Copilot app and CLI.
-
Task Researcher and Task Planner for intermediate to expert users and large codebases - Brought to you by microsoft/edge-ai
-
Analyze any repository and generate AI-ready configuration — AGENTS.md, copilot-instructions.md, CI workflows, issue templates, and more. Mines your PR review patterns and creates…
-
Run a lightweight, role-separated AI development team with flexible tools, developer-selected models, proportionate planning, and optional QA.
Есть на витрине Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
Advanced Security plugin for GitHub Copilot.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
-
model-apps
Build and deploy Power Apps generative pages for model-driven apps with specialist agents for planning, entity creation, and parallel code generation. Requires PAC CLI >= 2.7.0…
Есть на витрине Cursor: cursor/plugins (5)
-
Build apps, scripts, and automations with the TypeScript SDK.
-
if you want to go fast, go deep first. pstack helps you write less, but higher quality code. rigorous agent workflows you can parallelize with confidence.
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
Skills for building on the Cursor Origin API. Fetch the live spec first, then follow the Origin rules for credentials, scopes, webhooks, paging, and errors. Includes a skill that…
-
Consult a stronger model before major decisions, when stuck, and before declaring done.
Есть на витрине Docker MCP Catalog (5)
-
Stop stitching context for Copilot and Cursor. With Sequa MCP, your AI tools know your entire codebase and docs out of the box.
-
Bridges multiple AI models and CLIs, enabling orchestrated workflows across Claude Code, Gemini CLI, Codex CLI, and other AI development tools.
-
Tools and resources for writing Effect code in Typescript.
-
Fetch, validate, and generate code or curl from any OpenAPI or Swagger spec - all from a single URL.
-
Sequential Thinking (Reference)
Dynamic and reflective problem-solving through thought sequences.
Есть на витрине Official MCP Registry (5)
-
Code intelligence platform for AI agents. 20 tools for architecture, security & impact analysis.
-
Architecture intelligence, security analysis, and living docs. 15 tools, Mermaid output.
-
30+ deterministic dev and delivery tools: linting, metrics, diagrams, model advice, AI-text checks.
-
Tentra — Memory for AI Coding Agents
Memory for AI coding agents. Call graphs + refactor safety + persistent code context. 35 MCP tools.
-
Context Assurance for AI agents: context engineering, AI cost optimization, verification.
Есть на витрине PyPI (MCP servers) (5)
-
Gives AI agents the function they asked for, not the file. Commercial use needs a license.
-
A code intelligence graph that gives AI coding agents deep, token-efficient understanding of your codebase.
-
repo-graph io.github.James-Chahwan/repo-graph
Structural graph map of any codebase so LLMs navigate by structure, not guesswork.
-
Let one coding-agent CLI consult another: Codex, Claude Code, OpenCode, Copilot or Antigravity.
-
air-blackbox-mcp io.github.airblackbox/air-blackbox-mcp
EU AI Act compliance scanner for Python AI agents. 14 tools across 6 articles.
Есть на витрине npm registry (MCP servers) (5)
-
Context Assurance for AI agents: context engineering, AI cost optimization, verification.
-
consult io.github.neelsatyavolu/consult
Get a second opinion on your code from every coding agent you have. No API keys.
-
140 deterministic tools for your AI: logs, tests, SQL, diagrams, SPARQL. Local, no network.
-
speclock io.github.sgroy10/speclock
AI Constraint Engine — enforces CLAUDE.md and .cursorrules as laws. 51 MCP tools.
-
AI-powered virtual IT department via MCP — codebase intelligence, 9-agent scrum team, sprint management, and React dashboard in one npm package
Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.
Хотите такой знак у своего плагина в нашем каталоге?
Докажите, что поддерживаете его, файлом в репозитории, файлом на вашем домене или DNS-записью, и сможете показать этот знак на карточке, а ещё живые баннеры для сайта и README. Как проходит подтверждение
Ещё вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, а его удалённый endpoint встанет на мониторинг как веб-сервис.
Данные витрины Community GitHub marketplaces. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.