formal-agent-contracts vs. JSON Contracts
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). JSON Contracts é um servidor MCP publicado por json-contracts. Marketplaces que lemos e que o listam: 1 (Official MCP Registry). Conforme nossa passagem pelos marketplaces em 2026-10-29. Este par foi escolhido por um leitor, não pela nossa regra de comparação, por isso pedimos aos buscadores que não indexem a página.
Onde cada um é publicado
| Marketplace |  formal-agent-contracts |  JSON Contracts |
|---|---|---|
| Claude Code: claude-plugins-community | Listado Versão: 2.2.0 Forks (GitHub): 0 Estrelas (GitHub): 1 Sem marcação · Visto pela primeira vez |
Não listado |
| Official MCP Registry | Não listado | Listado Versão: 0.1.2 Downloads por mês (npm): 211 Downloads por semana (npm): 19 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 | formal-agent-contracts | JSON Contracts |
|---|---|---|
| Marketplaces que o listam | 1 | 1 |
| Estrelas (GitHub) | 1 | 1 |
| Forks (GitHub) | 0 | 0 |
| Último release | Não publicado | Não publicado |
| Onde roda (diferente) | Instala-se como pacote de plugins | Na sua máquina (json-contracts) |
| Transporte (diferente) | Não informado | stdio |
| Ferramentas que declara | Não publicado | Não publicado |
| Variáveis de ambiente que pede (diferente) | Não publicado | 1, das quais segredos: 0 |
| Partes do pacote (diferente) | 15 | Não é um pacote |
| Licença (diferente) | MIT | Não informado |
| Repositório (diferente) | github.com/kotaroyamame/formal-agent-contracts | github.com/json-contracts/json-contracts |
| Mudanças nos últimos 7 dias | 0 | 0 |
| Visto pela primeira vez | 2026-10-11 | 2026-10-11 |
As linhas em que os dois diferem têm fundo destacado e valores em negrito. Onde os próprios dados dizem qual valor é melhor (mais marketplaces, um número maior do mesmo marketplace, um release mais recente, uma marca verified em um marketplace que lista os dois), o melhor também é marcado em verde com ▲ e o pior em vermelho com ▼. Onde roda, o transporte, as ferramentas, as configurações, os hooks, as partes do pacote, a licença e as mudanças da semana são marcados apenas como diferentes: mais ou menos não é melhor por si só.
O que cada um diz que faz
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.
JSON Contracts
JSON contract registry and validator for structured LLM and agent outputs.
Como executar cada um
formal-agent-contracts Como plugin do Claude Code
/plugin marketplace add anthropics/claude-plugins-community
/plugin install formal-agent-contracts@claude-communityJSON Contracts Como servidor MCP local: pacote npm
claude mcp add --transport stdio json-contracts -- npx -y json-contractsComandos 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 formal-agent-contracts não publicam as configurações que ele pede, então não comparamos configurações.
O que pode fazer: formal-agent-contracts · O que pode fazer: JSON Contracts · Comparar outros dois plugins
Dados de Claude Code: claude-plugins-community. Dados de Official MCP Registry. 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.