specification-refiner vs. formal-agent-contracts
specification-refiner não está mais listado em nenhum marketplace que lemos: estes são os últimos dados conhecidos, de 2026‑10‑28.
specification-refiner é um pacote de plugins para ferramentas de programação com IA publicado por Claude Code Skills. Nenhum marketplace que lemos o lista mais. formal-agent-contracts é um pacote de plugins para ferramentas de programação com IA publicado por kotaroyamame. Marketplaces que lemos e que o listam: 1 (Claude Code: claude-plugins-community). Conforme nossa passagem pelos marketplaces em 2026-11-10. Um plugin deste par não está mais listado em nenhum marketplace que lemos, por isso pedimos aos buscadores que não indexem a página.
Onde cada um é publicado
| Marketplace |  formal-agent-contracts | |
|---|---|---|
| Marketplace da comunidade ddunnock/claude-plugins | Removido em 2026-10-28 Versão: 2.0.0 Forks (GitHub): 7 Estrelas (GitHub): 14 Sem marcação · Visto pela primeira vez |
Não listado |
| Claude Code: claude-plugins-community | Não listado | Listado Versão: 2.2.0 Forks (GitHub): 0 Estrelas (GitHub): 1 Sem marcação · Visto pela primeira vez |
Cada número é do próprio marketplace e nunca é somado entre marketplaces. Um marketplace que não publica números não mostra nenhum: sem número não é zero.
Os fatos lado a lado
| Fato | specification-refinernão está mais listado · | formal-agent-contracts |
|---|---|---|
| Marketplaces que o listam (diferente) | 0 | 1 |
| Estrelas (GitHub) (diferente) | 14 | 1 |
| Forks (GitHub) (diferente) | 7 | 0 |
| Último release | Não publicado | Não publicado |
| Onde roda | Instala-se como pacote de plugins | Instala-se como pacote de plugins |
| Transporte | Não informado | Não informado |
| Ferramentas que declara | Não publicado | Não publicado |
| Variáveis de ambiente que pede | Não publicado | Não publicado |
| Partes do pacote (diferente) | Não publicado | 15 |
| Licença | MIT | MIT |
| Repositório (diferente) | github.com/ddunnock/claude-plugins | github.com/kotaroyamame/formal-agent-contracts |
| Mudanças nos últimos 7 dias | 0 | 0 |
| Visto pela primeira vez (diferente) | 2026-10-15 | 2026-10-11 |
As linhas em que os dois diferem têm fundo destacado e valores em negrito. Nenhum valor é marcado como melhor ou pior: um plugin que nenhum marketplace lista mais aparece com os últimos dados conhecidos, que não comparamos com números atuais.
O que usar no lugar de «specification-refiner»
Plugins ainda listados cujos nomes, descrições, ferramentas e skills são os mais próximos em significado. Comparáveis, não recomendados.
-
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…
-
SpecForge — compile natural-language requirements into spec.yaml bundles and implement from spec inside Claude Code.
-
Explore directions through research-led brainstorming, write comprehensive specs, and implement them with risk-first subagent workflows and live verification
-
Specification-driven development workflow: setup → specify → plan → tasks → implement
-
Iteratively refine product specs through multi-model debate until consensus. Claude actively participates alongside GPT, Gemini, Grok, and other models. Includes interview mode…
-
Spec-driven development methodology with skills for requirements, design, tasks, AI prompting, QA, and troubleshooting
O que cada um diz que faz
specification-refiner
Systematic analysis and refinement of specifications with SEAMS framework, sequential clarification questioning, and 9-phase workflow
formal-agent-contracts
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 contract enforcement — all through natural language conversation with Claude.
Como executar cada um
specification-refiner
Sem dados para um comando automático: o que os marketplaces declaram não diz de forma inequívoca como conectá-lo.
formal-agent-contracts Como plugin do Claude Code
/plugin marketplace add anthropics/claude-plugins-community
/plugin install formal-agent-contracts@claude-communityComandos construídos apenas com o que os marketplaces declaram; o conjunto completo para cada cliente está no cartão de cada um.
Ferramentas que cada um declara
Os marketplaces de nenhum dos dois publicam uma lista de ferramentas, então não há o que comparar.
Configurações que cada um pede
Os marketplaces de nenhum dos dois publicam as configurações que ele pede.
O que pode fazer: specification-refiner · O que pode fazer: formal-agent-contracts · Comparar outros dois plugins
Dados de Community GitHub marketplaces. Dados de Claude Code: claude-plugins-community. Os números vêm das nossas próprias passagens regulares pelos marketplaces, última leitura em . Não publicamos dados de contato dos editores de plugins.