io.github.AI-BuildInfra/proof-graph

MCPcomunidad
v1.0.0io.github.AI-BuildInfraUnknownActualizado hace 2 dGitHub

Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.

Indexado automáticamente desde fuentes públicas. Aún sin verificar por su desarrollador en Forge.Reclamar este listado →
1Estrellas en GitHub
hace 2 dÚltima actualización
Paquete
Autorio.github.AI-BuildInfra
LicenciaUnknown
Versión1.0.0
Fuentemcp-registry
GitHubAI-BuildInfra/proof-graph
SBOMCycloneDX 1.6 ↓
Estado de confianza
B
60/100Bueno
✓Listado en el índice de Forge+10/10
—Identidad del publicador verificada+0/30
→ Publicador: ejecuta `forge publish` desde el repo para reclamar la propiedad
—Verificación de dominio+0/10
→ Ahora mismo no está disponible para este tipo de listado: hoy la comprobación de dominio solo se ejecuta para paquetes publicados en npm, así que esta fila todavía no se puede conseguir aquí, sea lo que sea lo que haya alojado en el dominio.
✓Análisis de inyección de prompts · limpio+30/30
✓Análisis de ofuscación / exfiltración · limpio+20/20
Pégalo en Claude Code, Cursor o cualquier asistente de IA para corregir todas las carencias
EstadoIndexado por la comunidad
PublicadorSin verificar
FirmaSin firmar
Dominio—
Procedencia—
DependenciasSin auditar
Superficie de herramientas24 herramientas · ninguna privilegiada
Análisis de seguridad✓ LimpiovHEAD · hoy¿Qué tan bien funciona este análisis?
EvaluacionesNinguna
Indexado27 sept 2026

La verificación confirma la identidad del publicador (la propiedad del repo), no la seguridad del código. El análisis de seguridad cubre los CVE conocidos y los scripts de instalación sospechosos.

Herramientas

24 herramientas · ninguna privilegiada
Extraído estáticamente del paquete publicadovHEAD · 13h ago

Leído del código que npm publica realmente, en el momento del análisis. El paquete nunca se ejecutó. Las herramientas registradas dinámicamente en tiempo de ejecución, o escondidas en código empaquetado o minificado, pueden pasarse por alto — así que esto es un mínimo de la superficie de herramientas, no un censo completo.

verify-answerInstructs the AI agent to ground an answer strictly in verified ProofGraph evidence packets.

Instructs the AI agent to ground an answer strictly in verified ProofGraph evidence packets.

No se publicó ningún esquema de entrada para esta herramienta.

questionThe question being answered

The question being answered

No se publicó ningún esquema de entrada para esta herramienta.

entity_idSubject entity ID

Subject entity ID

No se publicó ningún esquema de entrada para esta herramienta.

research-entityGuides the AI agent to produce a structured entity profile backed by traceable provenance.

Guides the AI agent to produce a structured entity profile backed by traceable provenance.

No se publicó ningún esquema de entrada para esta herramienta.

entity_nameName or alias of the entity to research

Name or alias of the entity to research

No se publicó ningún esquema de entrada para esta herramienta.

trace-claimInstructions for generating an audit trail of why a claim is supported or refuted.

Instructions for generating an audit trail of why a claim is supported or refuted.

No se publicó ningún esquema de entrada para esta herramienta.

claim_statementThe claim to trace

The claim to trace

No se publicó ningún esquema de entrada para esta herramienta.

build-evidence-summaryGenerates a concise citation-first summary respecting token budget constraints.

Generates a concise citation-first summary respecting token budget constraints.

No se publicó ningún esquema de entrada para esta herramienta.

topicTopic or entity to summarize

Topic or entity to summarize

No se publicó ningún esquema de entrada para esta herramienta.

max_tokensMaximum tokens (e.g. 1500)

Maximum tokens (e.g. 1500)

No se publicó ningún esquema de entrada para esta herramienta.

detect-conflictsInstructions for analyzing contradictory claims and presenting impartial discrepancies.

Instructions for analyzing contradictory claims and presenting impartial discrepancies.

No se publicó ningún esquema de entrada para esta herramienta.

claimsComma-separated list of conflicting claims

Comma-separated list of conflicting claims

No se publicó ningún esquema de entrada para esta herramienta.

search_entitiesSearch for candidate entities by name, alias, or keyword using multi-signal matching.

Search for candidate entities by name, alias, or keyword using multi-signal matching.

No se publicó ningún esquema de entrada para esta herramienta.

get_entityRetrieve canonical information, aliases, metadata, and connected relationships for a specific entity ID.

Retrieve canonical information, aliases, metadata, and connected relationships for a specific entity ID.

No se publicó ningún esquema de entrada para esta herramienta.

verify_claimVerify an assertion or claim against cryptographic, timestamped evidence sources.

Verify an assertion or claim against cryptographic, timestamped evidence sources.

No se publicó ningún esquema de entrada para esta herramienta.

find_evidenceRetrieve compact, ranked supporting evidence for a claim under a strict token budget.

Retrieve compact, ranked supporting evidence for a claim under a strict token budget.

No se publicó ningún esquema de entrada para esta herramienta.

find_relationshipsDiscover 1-hop, 2-hop, or 3-hop relationships and connecting graph paths starting from an entity.

Discover 1-hop, 2-hop, or 3-hop relationships and connecting graph paths starting from an entity.

No se publicó ningún esquema de entrada para esta herramienta.

explain_entityReturn a concise, factual entity profile backed by verified sources and structured relationships.

Return a concise, factual entity profile backed by verified sources and structured relationships.

No se publicó ningún esquema de entrada para esta herramienta.

trace_claimTrace the complete provenance chain for a claim (Claim -> Evidence -> Source -> URL -> Timestamp -> Hash).

Trace the complete provenance chain for a claim (Claim -> Evidence -> Source -> URL -> Timestamp -> Hash).

No se publicó ningún esquema de entrada para esta herramienta.

compare_claimsCompare multiple potentially conflicting claims and expose discrepancies without arbitrary bias.

Compare multiple potentially conflicting claims and expose discrepancies without arbitrary bias.

No se publicó ningún esquema de entrada para esta herramienta.

get_evidence_packetPrimary AI agent retrieval interface: returns the smallest verified evidence packet sufficient to answer a question.

Primary AI agent retrieval interface: returns the smallest verified evidence packet sufficient to answer a question.

No se publicó ningún esquema de entrada para esta herramienta.

analyze_web_presenceAnalyze an entity digital footprint across official, GitHub, package registry, documentation, and 3rd-party sources.

Analyze an entity digital footprint across official, GitHub, package registry, documentation, and 3rd-party sources.

No se publicó ningún esquema de entrada para esta herramienta.

audit_entity_consistencyDiagnostic audit to detect inconsistencies across company name, domains, GitHub orgs, npm scopes, and Schema.org markup.

Diagnostic audit to detect inconsistencies across company name, domains, GitHub orgs, npm scopes, and Schema.org markup.

No se publicó ningún esquema de entrada para esta herramienta.

export_graphExport the verified knowledge graph to standard interoperable formats (JSON, JSON-LD, CSV, GraphML).

Export the verified knowledge graph to standard interoperable formats (JSON, JSON-LD, CSV, GraphML).

No se publicó ningún esquema de entrada para esta herramienta.

24 de 24 herramientas publicaron una descripción.

Los nombres y descripciones de las herramientas los escribe el publicador y se muestran literalmente como texto inerte. Son las cadenas que un cliente MCP pasa al modelo, así que Forge las analiza en busca de patrones de inyección de prompts — cualquier hallazgo aparece junto al análisis de seguridad de arriba. «Privilegiada» es una coincidencia de palabra clave en el nombre de la herramienta, no una auditoría de lo que hace: un nombre inofensivo puede hacer cualquier cosa.

Acerca de

Evidence-first entity and knowledge graph MCP server for AI agents to verify claims.

Palabras clave
mcp
Alternativas
Comparando superficies de herramientas…

Herramientas expuestas

23 herramientas · ninguna privilegiada · observado el mediante extracción estática. Una superficie de herramientas es lo que un análisis leyó un día concreto, no una lista de capacidades en vivo.

Los nombres enlazados abren el índice de Forge con todas las entradas que se observó que exponen esa herramienta. Ver todas las herramientas indexadas.

Sin cobertura de dependencias

Esta entrada no publica ningún paquete de npm, así que Forge no tiene un árbol de dependencias para ella. Es una carencia de cobertura, no una afirmación de que no tenga dependencias.