io.github.AI-BuildInfra/proof-graph

MCPcommunity
v1.0.0io.github.AI-BuildInfraUnknownAggiornato 2 g faGitHub

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

Indicizzato automaticamente da fonti pubbliche. Non ancora verificato dal suo sviluppatore su Forge.Rivendica questo annuncio →
1Stelle su GitHub
2 g faUltimo aggiornamento
Pacchetto
Autoreio.github.AI-BuildInfra
LicenzaUnknown
Versione1.0.0
Fontemcp-registry
Stato di fiducia
B
60/100Buono
✓Presente nell’indice di Forge+10/10
—Identità del publisher verificata+0/30
→ Publisher: esegui `forge publish` dal repo per rivendicarne la proprietà
—Verifica del dominio+0/10
→ Al momento non disponibile per questo tipo di annuncio — oggi il controllo del dominio viene eseguito solo per i pacchetti su npm, quindi questa riga non può ancora essere ottenuta qui, indipendentemente da cosa sia ospitato sul dominio.
✓Analisi prompt injection · pulita+30/30
✓Analisi offuscamento / esfiltrazione · pulita+20/20
Incollalo in Claude Code, Cursor o qualsiasi assistente di IA per colmare tutte le lacune
StatoIndicizzato dalla community
PublisherNon verificato
FirmaNon firmato
Dominio—
Provenienza—
DipendenzeNon verificate
Superficie di strumenti24 strumenti · nessuno privilegiato
Analisi di sicurezza✓ PulitovHEAD · oggiQuanto è efficace questa analisi?
ValutazioniNessuna
Indicizzato27 set 2026

La verifica conferma l’identità del publisher (la proprietà del repo), non la sicurezza del codice. L’analisi di sicurezza copre i CVE noti e gli script di installazione sospetti.

Strumenti

24 strumenti · nessuno privilegiato
Estratto staticamente dal pacchetto pubblicatovHEAD · 13h ago

Letto dal codice che npm distribuisce davvero, al momento dell’analisi. Il pacchetto non è mai stato eseguito. Gli strumenti registrati dinamicamente a runtime, o nascosti in codice impacchettato o minificato, possono sfuggire — quindi questo è un limite inferiore della superficie di strumenti, non un censimento 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.

Per questo strumento non è stato pubblicato alcuno schema di input.

questionThe question being answered

The question being answered

Per questo strumento non è stato pubblicato alcuno schema di input.

entity_idSubject entity ID

Subject entity ID

Per questo strumento non è stato pubblicato alcuno schema di input.

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.

Per questo strumento non è stato pubblicato alcuno schema di input.

entity_nameName or alias of the entity to research

Name or alias of the entity to research

Per questo strumento non è stato pubblicato alcuno schema di input.

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.

Per questo strumento non è stato pubblicato alcuno schema di input.

claim_statementThe claim to trace

The claim to trace

Per questo strumento non è stato pubblicato alcuno schema di input.

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

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

Per questo strumento non è stato pubblicato alcuno schema di input.

topicTopic or entity to summarize

Topic or entity to summarize

Per questo strumento non è stato pubblicato alcuno schema di input.

max_tokensMaximum tokens (e.g. 1500)

Maximum tokens (e.g. 1500)

Per questo strumento non è stato pubblicato alcuno schema di input.

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

Instructions for analyzing contradictory claims and presenting impartial discrepancies.

Per questo strumento non è stato pubblicato alcuno schema di input.

claimsComma-separated list of conflicting claims

Comma-separated list of conflicting claims

Per questo strumento non è stato pubblicato alcuno schema di input.

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.

Per questo strumento non è stato pubblicato alcuno schema di input.

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.

Per questo strumento non è stato pubblicato alcuno schema di input.

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

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

Per questo strumento non è stato pubblicato alcuno schema di input.

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.

Per questo strumento non è stato pubblicato alcuno schema di input.

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.

Per questo strumento non è stato pubblicato alcuno schema di input.

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.

Per questo strumento non è stato pubblicato alcuno schema di input.

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).

Per questo strumento non è stato pubblicato alcuno schema di input.

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

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

Per questo strumento non è stato pubblicato alcuno schema di input.

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.

Per questo strumento non è stato pubblicato alcuno schema di input.

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.

Per questo strumento non è stato pubblicato alcuno schema di input.

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.

Per questo strumento non è stato pubblicato alcuno schema di input.

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).

Per questo strumento non è stato pubblicato alcuno schema di input.

24 strumenti su 24 hanno pubblicato una descrizione.

I nomi e le descrizioni degli strumenti sono scritti dal publisher e mostrati alla lettera come testo inerte. Sono le stringhe che un client MCP passa a un modello, quindi Forge vi cerca schemi di prompt injection — ogni rilievo compare insieme all’analisi di sicurezza qui sopra. «Privilegiato» è una corrispondenza di parola chiave sul nome dello strumento, non una verifica di ciò che fa: un nome innocuo può comunque fare qualsiasi cosa.

Descrizione

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

Parole chiave
mcp
Alternative
Confronto delle superfici di strumenti…

Nessuna copertura delle dipendenze

Questa voce non pubblica alcun pacchetto npm, quindi Forge non ha un albero delle dipendenze per essa. È una lacuna di copertura, non l'affermazione che non abbia dipendenze.