Plugins

Multi-Agent-Prüfablauf des Systems der Drei Räte und Sechs Ministerien als DeepSeek-Harness-Plugin: Zustandsautomat mit 12 Zuständen, Einspruch/Rückgabe durch Menxia, Bestätigung riskanter Aktionen, Berechtigungsmatrix, Vermeidung von Delegations-Deadlocks und vollständiges Audit. Regeln entsprechen edict (OpenClaw) Punkt für Punkt.

Fähigkeit zur Aussagenprüfung, die Designdokumente und Pläne gegen Code-Fakten abgleicht und Verhaltensaussagen auf ausführbare Logik-Primitiv-Verifikation für Zustandsmaschinen und Datenmodelle hochstuft, mit Vorher/Nachher-Regression, Domänenbeschränkungen und Mining von Nebenläufigkeitsrisiken.

CSV (RFC 4180) parsen/abfragen/aggregieren/konvertieren mit einem State-Machine-Parser ohne Abhängigkeiten.

Verifikations-Gates mit echter Berechnung: mathematische Vereinfachung, Logikbeweise, Regex-Validierung, E-Prover-FOL, Zustandsmaschinen-Prüfungen und Code-Reparatur, gestützt auf in Go kompilierte Binärdateien mit vorgefertigten Windows-Executables.

Modelliert und prüft Aussagen aus Design/Plan/Dokument: rendert und reviewt UML, prüft Zustandsautomaten/Protokolle/Datenmodelle, Migrationsabdeckung und Rollback-Symmetrie; leitet Nebenläufigkeit an passende Checker, auditiert Abhängigkeiten und vergleicht Berichte.