io.github.AI-BuildInfra/proof-graph

MCPcommunauté
v1.0.0io.github.AI-BuildInfraUnknownMis à jour il y a 2 jGitHub

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

Indexé automatiquement depuis des sources publiques. Pas encore vérifié par son développeur sur Forge.Revendiquer cette annonce →
1Étoiles GitHub
il y a 2 jDernière mise à jour
Paquet
Auteurio.github.AI-BuildInfra
LicenceUnknown
Version1.0.0
Sourcemcp-registry
GitHubAI-BuildInfra/proof-graph
SBOMCycloneDX 1.6 ↓
Statut de confiance
B
60/100Bon
✓Listé dans l’index Forge+10/10
—Identité de l’éditeur vérifiée+0/30
→ Éditeur : exécutez `forge publish` depuis le dépôt pour revendiquer la propriété
—Vérification de domaine+0/10
→ Actuellement indisponible pour ce type d’annonce — la vérification de domaine ne s’exécute aujourd’hui que pour les paquets adossés à npm, cette ligne ne peut donc pas encore être obtenue ici, quel que soit le contenu hébergé sur le domaine.
✓Analyse d’injection de prompt · propre+30/30
✓Analyse d’obfuscation / exfiltration · propre+20/20
Collez-le dans Claude Code, Cursor ou tout assistant d’IA pour combler toutes les lacunes
StatutIndexé par la communauté
ÉditeurNon vérifié
SignatureNon signé
Domaine—
Provenance—
DépendancesNon audité
Surface d’outils24 outils · aucun privilégié
Analyse de sécurité✓ ProprevHEAD · aujourd’huiQuelle est l’efficacité de cette analyse ?
ÉvaluationsAucune
Indexé27 sept. 2026

La vérification confirme l’identité de l’éditeur (la propriété du dépôt), pas la sûreté du code. L’analyse de sécurité couvre les CVE connues et les scripts d’installation suspects.

Outils

24 outils · aucun privilégié
Extrait statiquement du paquet publiévHEAD · 13h ago

Lu dans le code que npm livre réellement, au moment de l’analyse. Le paquet n’a jamais été exécuté. Les outils enregistrés dynamiquement à l’exécution, ou cachés dans du code empaqueté ou minifié, peuvent passer inaperçus — c’est donc un plancher de la surface d’outils, pas un recensement complet.

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.

Aucun schéma d’entrée n’a été publié pour cet outil.

questionThe question being answered

The question being answered

Aucun schéma d’entrée n’a été publié pour cet outil.

entity_idSubject entity ID

Subject entity ID

Aucun schéma d’entrée n’a été publié pour cet outil.

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.

Aucun schéma d’entrée n’a été publié pour cet outil.

entity_nameName or alias of the entity to research

Name or alias of the entity to research

Aucun schéma d’entrée n’a été publié pour cet outil.

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.

Aucun schéma d’entrée n’a été publié pour cet outil.

claim_statementThe claim to trace

The claim to trace

Aucun schéma d’entrée n’a été publié pour cet outil.

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

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

Aucun schéma d’entrée n’a été publié pour cet outil.

topicTopic or entity to summarize

Topic or entity to summarize

Aucun schéma d’entrée n’a été publié pour cet outil.

max_tokensMaximum tokens (e.g. 1500)

Maximum tokens (e.g. 1500)

Aucun schéma d’entrée n’a été publié pour cet outil.

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

Instructions for analyzing contradictory claims and presenting impartial discrepancies.

Aucun schéma d’entrée n’a été publié pour cet outil.

claimsComma-separated list of conflicting claims

Comma-separated list of conflicting claims

Aucun schéma d’entrée n’a été publié pour cet outil.

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.

Aucun schéma d’entrée n’a été publié pour cet outil.

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.

Aucun schéma d’entrée n’a été publié pour cet outil.

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

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

Aucun schéma d’entrée n’a été publié pour cet outil.

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.

Aucun schéma d’entrée n’a été publié pour cet outil.

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.

Aucun schéma d’entrée n’a été publié pour cet outil.

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.

Aucun schéma d’entrée n’a été publié pour cet outil.

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

Aucun schéma d’entrée n’a été publié pour cet outil.

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

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

Aucun schéma d’entrée n’a été publié pour cet outil.

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.

Aucun schéma d’entrée n’a été publié pour cet outil.

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.

Aucun schéma d’entrée n’a été publié pour cet outil.

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.

Aucun schéma d’entrée n’a été publié pour cet outil.

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

Aucun schéma d’entrée n’a été publié pour cet outil.

24 outils sur 24 ont publié une description.

Les noms et descriptions d’outils sont écrits par l’éditeur et affichés tels quels, comme du texte inerte. Ce sont les chaînes qu’un client MCP transmet à un modèle, alors Forge y recherche des motifs d’injection de prompt — tout constat apparaît avec l’analyse de sécurité ci-dessus. « Privilégié » est une correspondance de mot-clé sur le nom de l’outil, pas un audit de ce qu’il fait : un nom anodin peut tout de même tout faire.

À propos

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

Mots-clés
mcp
Alternatives
Comparaison des surfaces d’outils…

Outils exposés

23 outils · aucun privilégié · observé le par extraction statique. Une surface d’outils est ce qu’une analyse a lu un jour donné, pas une liste de capacités en direct.

Les noms cliquables ouvrent l’index Forge de toutes les entrées observées exposant cet outil. Parcourir tous les outils indexés.

Aucune couverture des dépendances

Cette entrée ne publie aucun paquet npm : Forge n'a donc pas d'arbre de dépendances pour elle. C'est une lacune de couverture — pas une affirmation qu'elle n'a aucune dépendance.