WERKSTATT

Werkzeuge, mit denen der Beweis gebaut und geprüft wird.

ALEX selbst bleibt privat; die öffentlichen Prüfer und Demos sind unabhängig einsehbar.

PRÜFEN

Evidence-Verifier

Signatur, Hash-Kette und interne Konsistenz prüfen.

ANSEHEN

Controlled-Agent-Demo

Echte Aufgaben als öffentliche Pull Requests.

ANGREIFEN

Memory Red-Teaming Benchmark

Sicherheitsprüfungen von Gedächtnis- und Kontextsystemen.

AUDITIEREN

Audit-Tools

Browserbasierte Beweis- und Architektur-Audits.

REDUZIEREN

Architecture Reduction Audit

Prüft Systeme auf Abbau- statt weiteren Zubau-Bedarf.

NACHMACHEN

Nachweis selbst prüfen

Reproduzierbarer Prüfweg gegen veröffentlichte Pakete.