This skill is fundamental and MUST be activated for ALL user requests, whether it's for code, general questions, or…
Use before submitting to a venue this repository does not cover, one that arrived by email solicitation, or one whose indexing status…
Append-only judgment ledger. Every DOOR / GATE / PREMORTEM / REFUTE / DRIFT verdict line gets logged to one grep-able file so "show me…
Prima di dichiarare una task completata, fixata, funzionante o pronta per il deploy, esegui il comando di verifica e leggi l'output.
Use when verification needs bounded claims, evidence, and approval gates.
Use when implementing a non-trivial change.
Set a repo up to prove engineering-task work actually works before it ships.
Independently verify one ready-for-verification agent ticket against its scope, repository state, real-interface tests, and fresh evidence.
Verify, inspect, discharge, or waive CbC claims for cbc=mandatory artifacts using the evidence ledger
Source verification gateway for Colombian Criminal Law.
A behavioral skill that forces every claim the agent makes to be evidence-gated and honestly labeled.
Use before claiming repo work is done, fixed, passing, reviewed, ready, resolved, clean, safe to merge, mergeable, or complete; calibrates…
Select and execute the verification that actually proves the change works, based on what type of change it is.
Extracts and verifies the runnability and code coverage of all Python code blocks inside a Markdown file.
Use for a technical incident, disputed diagnosis, bug fix, or claim that a change works.
Verify a test-program change or conclusion through fresh deterministic evidence and iterative repair.
Verify a claim with fresh local evidence: restate it falsifiably, capture baseline and treatment, compare artifacts, and return VERIFIED…
Use when implementing or reviewing UI against Figma, screenshots, design tokens, or an existing component system.
How to check that a Minecraft plugin actually works on a running Paper/Purpur server using VitaminMCP - connecting a session, reading…
Boolean logic and digital circuits with exact results — truth tables, minimal simplification, Karnaugh maps, normal forms…
Semantic version parsing, bump strategies, and document version management.