Verification

terminal-ops ist eine evidenzorientierte Repo-Ausführungsskill für Terminalarbeit. Verwenden Sie sie, um Befehle auszuführen, den Git-Status zu prüfen, CI- oder Build-Probleme zu debuggen und gezielte Fixes mit Nachweis der Änderungen und Verifizierung umzusetzen. Dieser terminal-ops-Leitfaden hilft dabei, Rätselraten bei Code-Editing und Repo-Operationen zu reduzieren.

springboot-verification ist ein Verifikations-Loop für Spring-Boot-Projekte, mit dem du vor einem PR oder Deploy prüfen kannst, ob eine Änderung sicher ist. Nutze diesen springboot-verification-Leitfaden für Build-Validierung, statische Analyse, Tests mit Coverage, Security-Scans und Skill-Validation.

santa-method ist ein Multi-Agenten-Verifizierungsworkflow für Ergebnisse, die vor der Auslieferung korrekt sein müssen. Er nutzt unabhängige Prüfung, um blinde Flecken in Inhalten, code-nahen Deliverables, compliance-sensiblem Text und Aufgaben der Workflow-Automatisierung aufzudecken. Installieren Sie das santa-method Skill, wenn Sie eine wiederholbare Generate-Verify-Converge-Schleife benötigen.

land-and-deploy ist eine Workflow-Skill zum Zusammenführen eines bereiten PR, zum Warten auf CI und Deployment sowie zum Prüfen der Produktionsgesundheit mit Canary-Checks. Verwende diese land-and-deploy Skill, wenn du einen verlässlichen Übergang vom Merge bis zum Rollout brauchst – besonders in Teams, die bereits /ship oder ähnliche Release-Schritte nutzen.

postgrid-verify-automation hilft Agents, Postgrid Verify-Workflows über Rube MCP zu automatisieren – mit Verbindungsprüfungen, Schema-Erkennung und sicheren Nutzungshinweisen.

zero-hallucination-coder ist ein Code Generation Skill für sicherere Änderungen in Repositories. Er führt Agenten durch die Schritte Discuss, Map, Decompose, Execute und Verify, um erfundene APIs, Imports, Pfade und Platzhaltercode zu vermeiden. Besonders geeignet für riskante Arbeiten an Authentifizierung, Datenbanken, Migrationen, APIs oder mehreren Dateien; für triviale Änderungen sollte man ihn auslassen.

health führt ein budgetbewusstes Agent-Health-Audit für Codex, Claude Code, Pi, Agent-Anweisungen, Hooks/MCP, Verifier-Oberflächen und KI-Wartbarkeit durch. Verwende die health-Skill, um zu prüfen, warum ein Agent Anweisungen ignoriert, Validierungen übersieht oder in schwer wartbares Verhalten abdriftet. Besonders nützlich ist sie für Security-Audit-Workflows, aber nicht zum Debuggen von Code oder zum Review von PRs.

ton-vulnerability-scanner ist eine spezialisierte Audit-Fähigkeit für TON-Smart-Contracts in FunC. Sie hilft dabei, die Fehlverwendung von Integern als Boolesche Werte, den Umgang mit gefälschten Jetton-Contracts und fehlende Gas-Prüfungen beim Weiterleiten von TON zu erkennen. Nutzen Sie sie für einen schnellen ersten Security-Audit-Durchlauf, bevor eine tiefere manuelle Prüfung folgt.

launch-sub-agent hilft dabei, für abgegrenzte Aufgaben in Multi-Agent-Systemen einen fokussierten Sub-Agenten zu starten. Es analysiert die Komplexität der Aufgabe, wählt eine passende Modellstufe aus, unterstützt spezialisiertes Agent-Matching und ergänzt eine Selbstkritik-Prüfung für verlässlichere Ergebnisse.

Judge ist eine zweiphasige Bewertungs-Skill, die zuerst einen Meta-Judge und dann einen Judge-Sub-Agenten startet, um Arbeiten mit isoliertem Kontext, Belegen und klaren Kriterien zu bewerten. Nutzen Sie sie für reine Report-Reviews von Code, Texten, Analysen oder Skill Authoring, wenn Sie einen belastbaren Judge-Leitfaden statt einer lockeren Meinung benötigen.

plan-task verfeinert eine Entwurfsaufgabe zu einem umsetzungsreifen Plan mit parallelen Arbeitssträngen, Risiko-Hinweisen und Verifikationsstufen für Workflow Automation.

implement-task ist eine Workflow-Automatisierungs-Skill, die eine Aufgabenbeschreibung in umgesetzte Änderungen überführt und dabei kritische Schritte automatisch mit LLM-as-Judge verifiziert. Sie hilft Agents, eine Task-Datei zu lesen, die Arbeit schrittweise auszuführen, die Qualität zu prüfen und bei teilweiser Fertigstellung mit weniger Rätselraten weiterzumachen.

Die Evaluation-Skill hilft dir, Agent-Evaluierungen für nicht-deterministische Systeme zu entwerfen und auszuführen. Verwende sie für die Planung der Evaluation-Installation, Rubriken, Regressionstests, Quality Gates und Evaluationen für Skill Testing. Sie eignet sich für LLM-as-judge-Workflows, mehrdimensionale Bewertungen und den praktischen Einsatz von Evaluationen, wenn reproduzierbare Ergebnisse gefragt sind.