bengo-toolkit vs. ProofGraph (Antigravity MCP)
bengo-toolkit es un paquete de plugins para herramientas de programación con IA publicado por llamadrive. Marketplaces que leemos y que lo publican: 2 (Claude Code: claude-plugins-community, Community GitHub marketplaces). ProofGraph (Antigravity MCP) es un servidor MCP publicado por AI-BuildInfra. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). Según nuestra pasada por los marketplaces del 2026-10-15. Este par lo eligió un lector, no nuestra regla de comparación, así que pedimos a los buscadores que no indexen la página.
Dónde se publica cada uno
| Marketplace |  bengo-toolkit |  ProofGraph (Antigravity MCP) |
|---|---|---|
| Claude Code: claude-plugins-community | Publicado Versión: 3.8.2 Forks (GitHub): 5 Estrellas (GitHub): 6 Sin marca · Visto por primera vez |
No figura |
| Official MCP Registry | No figura | Publicado Versión: 1.0.0 Forks (GitHub): 0 Estrellas (GitHub): 1 Sin marca · Visto por primera vez |
Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.
Los datos lado a lado
| Dato | bengo-toolkit | ProofGraph (Antigravity MCP) |
|---|---|---|
| Marketplaces que lo listan (distinto) | 2 (mejor) | 1 (peor) |
| Estrellas (GitHub) (distinto) | 6 (mejor) | 1 (peor) |
| Forks (GitHub) (distinto) | 5 (mejor) | 0 (peor) |
| Última versión | No publicado | No publicado |
| Dónde se ejecuta (distinto) | Se instala como paquete de plugins | Sin indicar |
| Transporte | Sin indicar | Sin indicar |
| Herramientas que declara | No publicado | No publicado |
| Variables de entorno que pide | No publicado | No publicado |
| Partes del paquete (distinto) | 43 | No es un paquete |
| Licencia (distinto) | MIT | Sin indicar |
| Repositorio (distinto) | github.com/llamadrive/bengo-toolkit | github.com/ai-buildinfra/proof-graph |
| Cambios en los últimos 7 días (distinto) | 2 | 0 |
| Visto por primera vez | 2026-10-11 | 2026-10-11 |
Las filas en las que difieren tienen fondo tintado y valores en negrita. Donde los propios datos dicen qué valor es mejor (más marketplaces, una cifra mayor del mismo marketplace, una versión más reciente, una marca verified en un marketplace que lista a ambos), el mejor se marca además en verde con ▲ y el peor en rojo con ▼. Dónde se ejecuta, el transporte, las herramientas, los ajustes, los hooks, las partes del paquete, la licencia y los cambios de la semana se marcan solo como diferentes: más o menos no es mejor en sí.
Qué dice cada uno que hace
bengo-toolkit
Japanese law firm plugin for Claude Code — court template filling, family tree generation (相続関係説明図), legal document proofreading, lawsuit analysis, e-Gov law search, and deterministic legal calculators (traffic damages, child support, debt recalc, overtime, iryubun, property division, inheritance). Ships HMAC-chainedtamper-evident local audit logs (append-only JSONL with optional HMAC keying) recording which documents were processed, when, by which skill — without storing document contents. 日本の法律事務所向け Claude Code プラグイン — 裁判所書式入力・相続関係説明図・訴訟分析・法令検索・決定論的計算（交通事故・養育費・遺留分等）。
ProofGraph (Antigravity MCP)
Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.
Cómo ejecutar cada uno
bengo-toolkit Como plugin de Claude Code
/plugin marketplace add anthropics/claude-plugins-community
/plugin install bengo-toolkit@claude-communityProofGraph (Antigravity MCP)
No hay datos para un comando automático: lo que declaran sus marketplaces no dice de forma inequívoca cómo conectarlo.
Comandos construidos solo con lo que declaran los marketplaces; el conjunto completo para cada cliente está en la ficha de cada uno.
Herramientas que declara cada uno
Los marketplaces de ninguno de los dos publican una lista de herramientas, así que no hay nada que comparar.
Ajustes que pide cada uno
Los marketplaces de ninguno de los dos publican los ajustes que pide.
Qué puede hacer: bengo-toolkit · Qué puede hacer: ProofGraph (Antigravity MCP) · Comparar otros dos plugins
Datos de Claude Code: claude-plugins-community. Datos de Community GitHub marketplaces. Datos de Official MCP Registry. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.