io.github.AI-BuildInfra/proof-graph

MCPCommunity
v1.0.0io.github.AI-BuildInfraUnknownAktualisiert vor 2 TGitHub

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

Automatisch aus öffentlichen Quellen indexiert. Vom Entwickler auf Forge noch nicht verifiziert.Diesen Eintrag beanspruchen →
1GitHub-Sterne
vor 2 TLetzte Aktualisierung
Paket
Autorio.github.AI-BuildInfra
LizenzUnknown
Version1.0.0
Quellemcp-registry
GitHubAI-BuildInfra/proof-graph
SBOMCycloneDX 1.6 ↓
Trust-Status
B
60/100Gut
✓Im Forge-Index gelistet+10/10
—Publisher-Identität verifiziert+0/30
→ Publisher: führe `forge publish` im Repo aus, um die Inhaberschaft zu beanspruchen
—Domain-Verifizierung+0/10
→ Für diesen Eintragstyp derzeit nicht verfügbar — die Domain-Prüfung läuft heute nur für npm-gestützte Pakete, diese Zeile lässt sich hier also noch nicht erreichen, unabhängig davon, was auf der Domain liegt.
✓Prompt-Injection-Scan · sauber+30/30
✓Obfuskations-/Exfiltrations-Scan · sauber+20/20
Füge das in Claude Code, Cursor oder einen beliebigen KI-Assistenten ein, um alle Lücken zu schließen
StatusVon der Community indexiert
PublisherNicht verifiziert
SignaturNicht signiert
Domain—
Herkunft—
AbhängigkeitenNicht auditiert
Tool-Oberfläche24 Tools · keines privilegiert
Sicherheits-Scan✓ SaubervHEAD · heuteWie gut funktioniert dieser Scan?
EvaluierungenKeine
Indexiert27. Sept. 2026

Die Verifizierung bestätigt die Identität des Publishers (die Inhaberschaft am Repo), nicht die Sicherheit des Codes. Der Sicherheits-Scan deckt bekannte CVEs und verdächtige Installationsskripte ab.

Tools

24 Tools · keines privilegiert
Statisch aus dem veröffentlichten Paket extrahiertvHEAD · 13h ago

Aus dem Quellcode gelesen, den npm tatsächlich ausliefert, zum Zeitpunkt des Scans. Das Paket wurde nie ausgeführt. Tools, die zur Laufzeit dynamisch registriert werden oder in gebündeltem beziehungsweise minifiziertem Code stecken, können übersehen werden — das hier ist also eine Untergrenze der Tool-Oberfläche, keine vollständige Erhebung.

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.

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

questionThe question being answered

The question being answered

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

entity_idSubject entity ID

Subject entity ID

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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.

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

entity_nameName or alias of the entity to research

Name or alias of the entity to research

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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.

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

claim_statementThe claim to trace

The claim to trace

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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

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

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

topicTopic or entity to summarize

Topic or entity to summarize

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

max_tokensMaximum tokens (e.g. 1500)

Maximum tokens (e.g. 1500)

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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

Instructions for analyzing contradictory claims and presenting impartial discrepancies.

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

claimsComma-separated list of conflicting claims

Comma-separated list of conflicting claims

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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.

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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.

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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

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

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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.

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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.

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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.

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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

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

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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.

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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.

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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.

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

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

Für dieses Tool wurde kein Eingabeschema veröffentlicht.

24 von 24 Tools haben eine Beschreibung veröffentlicht.

Tool-Namen und -Beschreibungen stammen vom Publisher und werden wortgetreu als inerter Text angezeigt. Es sind die Zeichenketten, die ein MCP-Client an ein Modell übergibt, deshalb prüft Forge sie auf Prompt-Injection-Muster — jeder Befund erscheint oben beim Sicherheits-Scan. „Privilegiert“ ist ein Schlagwort-Treffer im Tool-Namen, keine Prüfung dessen, was das Tool tut: ein harmlos klingender Name kann trotzdem alles tun.

Über

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

Schlagwörter
mcp
Alternativen
Tool-Oberflächen werden verglichen…

Offengelegte Tools

23 Tools · keines privilegiert · beobachtet am durch statische Extraktion. Eine Tool-Oberfläche ist das, was ein Scan an einem Tag gelesen hat, keine Live-Liste der Fähigkeiten.

Verlinkte Namen öffnen den Forge-Index aller Einträge, bei denen dieses Tool beobachtet wurde. Alle indexierten Tools durchsuchen.

Keine Abdeckung der Abhängigkeiten

Dieser Eintrag veröffentlicht kein npm-Paket, daher hat Forge keinen Abhängigkeitsbaum dafür. Das ist eine Lücke in der Abdeckung — keine Aussage, dass er keine Abhängigkeiten hat.