ProofGraph (Antigravity MCP) vs. Olostep MCP Server
ProofGraph (Antigravity MCP) es un servidor MCP publicado por AI-BuildInfra. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). Olostep MCP Server es un servidor MCP publicado por olostep. Marketplaces que leemos y que lo publican: 2 (Official MCP Registry, Claude Code: claude-plugins-community). Según nuestra pasada por los marketplaces del 2026-10-21. 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 |  ProofGraph (Antigravity MCP) |  Olostep MCP Server |
|---|---|---|
| Official MCP Registry | Publicado Versión: 1.0.0 Forks (GitHub): 0 Estrellas (GitHub): 1 Sin marca · Visto por primera vez |
Publicado Versión: 1.0.17 Descargas por mes (npm): 617 Descargas por semana (npm): 237 Sin marca · Visto por primera vez |
| Claude Code: claude-plugins-community | 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 | ProofGraph (Antigravity MCP) | Olostep MCP Server |
|---|---|---|
| Marketplaces que lo listan (distinto) | 1 (peor) | 2 (mejor) |
| Estrellas (GitHub) | 1 | 1 |
| Forks (GitHub) | 0 | 0 |
| Última versión | No publicado | No publicado |
| Dónde se ejecuta (distinto) | Sin indicar | En tu equipo (olostep-mcp) |
| Transporte (distinto) | Sin indicar | stdio |
| Herramientas que declara | No publicado | No publicado |
| Variables de entorno que pide (distinto) | No publicado | 1, de ellas secretos: 1 |
| Partes del paquete (distinto) | No es un paquete | 14 |
| Licencia (distinto) | Sin indicar | MIT |
| Repositorio (distinto) | github.com/ai-buildinfra/proof-graph | github.com/olostep/olostep-claude-code-plugin |
| Cambios en los últimos 7 días | 0 | 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
ProofGraph (Antigravity MCP)
Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.
Olostep MCP Server
Search, scrape, and crawl the web for AI agents. Batch scraping and answers with citations.
Cómo ejecutar cada uno
ProofGraph (Antigravity MCP)
No hay datos para un comando automático: lo que declaran sus marketplaces no dice de forma inequívoca cómo conectarlo.
Olostep MCP Server Como servidor MCP local: paquete npm
claude mcp add --transport stdio olostep-mcp-server -- npx -y olostep-mcpComandos 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 ProofGraph (Antigravity MCP) no publican los ajustes que pide, así que no comparamos ajustes.
Qué puede hacer: ProofGraph (Antigravity MCP) · Qué puede hacer: Olostep MCP Server · Comparar otros dos plugins
Datos de Official MCP Registry. Datos de Claude Code: claude-plugins-community. 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.