verifiable-claim-seed

Maschinenprüfbarer Anspruchsvertrag + Zero-Dependency-Gate + echtes Beispiel. Reproduzierbar ≠ verifizierbar: repro+frozen beweisen interne Konsistenz; externe Korrektheit wird durch den Anker getragen. Agent-first: Lesen Sie ai-catalog.json vor dieser Datei für das maschinenlesbare Manifest.

mcp-name: io.github.elwsls/verifiable-claim-seed

install

pip install verifiable-claim-seed     # zero dependencies, Python stdlib only
verify-claim self-test                # prove the gate works in this environment

Oder klonen Sie das Repository und führen Sie das Gate direkt aus:

python3 verifiable_claim_seed/verify_claim.py self-test

Related MCP server: HREVN MCP Server

entrypoints

verify

verify-claim self-test                              # pip 安装后
verify-claim verify <claim.json> [--report out.json]
# 仓库内直接跑：
python3 verifiable_claim_seed/verify_claim.py self-test

Exit-Codes: 0 alles bestanden / 1 harter Fehler (Struktur/Format/fehlende Dateien, auf die sich die Erklärung bezieht) / 2 Verwendung·Umgebung (fehlende Befehlszeilenargumente/fehlende zu verifizierende Erklärungsdatei) / 3 Verstoß gegen den Beweisvertrag (Hash-Mismatch/Reproduktionsabweichung).

Pfadsemantik: Pfade wie data//scripts/ in der Erklärung werden relativ zum Paketstamm (Verzeichnis des Gate-Skripts) aufgelöst, nicht relativ zur Erklärungs-JSON. Bevor Sie eine extern kopierte Einzeldatei-Erklärung verifizieren, behalten Sie die vollständige Repository-Struktur bei oder legen Sie die gesamte Erklärung zurück in verifiable_claim_seed/claims/. text-quote-Anker mit Byte-Snapshot: anchor.mode=text-quote muss quote + locator + snapshot + snapshot_sha256 enthalten (Quell-Snapshot-Dateipfad + 64-Bit-Hash). Das Gate prüft den Snapshot-Hash byteweise und extrahiert den Snapshot-Text für einen kompakten Vergleich mit „Typografie-Zeichen-Normalisierung + Entfernen von Leerzeichen" – das wörtliche Zitat muss tatsächlich im eingefrorenen Snapshot vorhanden sein (HTML-Entities/gerenderte Leerzeichen führen nicht zu Fehlalarmen). Die Maschine prüft, ob „das Zitat in diesem Snapshot enthalten ist"; ob der Snapshot tatsächlich die reale Quelle ist, muss weiterhin von Mensch/KI geprüft werden. repro.script ist Python: repro.script wird von python3 ausgeführt (subprocess, 120s Timeout) – das Skript muss Python sein. Keine Sandbox: Das Gate isoliert nicht, Pfade können den Paketstamm überschreiten und es läuft mit den Rechten des Aufrufers; die Sicherheit hängt vollständig davon ab, „nur Erklärungen zu verifizieren, denen Sie vertrauen". Hinweis zur Null-Abhängigkeit: verify_claim.py ist der tatsächliche Validator (reine stdlib, keine Abhängigkeit von der jsonschema-Bibliothek); schema/*.json ist die Vertragsspezifikation – beide werden durch den „schema-gate-Vertragssynchronisations"-Fall des Selbsttests maschinell auf Nicht-Abweichung geprüft. anchor.sha256 ist ebenfalls festgelegt: Wenn es auf eine Datei im Repository zeigt, wird byteweise geprüft (Mismatch rc3). Sicherheitshinweis: verify führt tatsächlich das repro.script in der Erklärung aus. Verifizieren Sie nur Erklärungen, denen Sie vertrauen; das Verifizieren einer nicht vertrauenswürdigen Erklärung entspricht der Ausführung des darin deklarierten beliebigen Codes auf Ihrem Rechner. Designgrenze: Das Gate prüft, ob „das Skript wie deklariert ausgibt", nicht ob „das Skript korrekt berechnet" – ein gefälschtes repro.script, das den richtigen Hash + erwartete Werte ausgibt, kann rc0 bestehen. Die Integrität stammt aus eingefrorenen Eingabebytes (anchor/frozen) und der Selbstkonsistenz der Erklärung, nicht aus Mathematik. „Nur Erklärungen verifizieren, denen Sie vertrauen" ist daher eine Sicherheitsvoraussetzung, keine Dekoration.

MCP server

verifiable-claim-mcp (oder der Registry-Startalias verifiable-claim-seed) stellt drei Werkzeuge bereit (stdio, null Abhängigkeiten):

• self_test — Gate-Selbsttest, PASS/FAIL + Anzahl der Fälle

• validate — Struktur- + Hash-Prüfung, führt kein Skript aus (für nicht vertrauenswürdige Erklärungen verwenden)

• verify — vollständige Prüfung, erfordert explizit allow_execution=true (führt repro.script in der Erklärung aus, also beliebigen Code); ohne dieses Flag wird immer abgelehnt

MCP-Registry: server.json (io.github.elwsls/verifiable-claim-seed, PyPI/stdio).

Claude-Code-Anbindung (nach pip install) – legen Sie .mcp.json im Projektstamm ab (das Repository enthält bereits ein Beispiel), neue Sitzungen laden die drei Werkzeuge automatisch:

{ "mcpServers": { "verifiable-claim-seed": { "command": "python3", "args": ["verifiable_claim_seed/mcp_server.py"] } } }

Alternativ kann uvx verifiable-claim-seed verwendet werden (nach PyPI-Veröffentlichung). Ein fremder Agent wurde End-to-End verifiziert: drei Werkzeuge entdeckt → validate ohne Ausführung → verify ohne allow_execution abgelehnt → mit Flag bestanden.

Lizenz: MIT. Null Abhängigkeiten (Python-Standardbibliothek).