Automated validation orchestration across proof, spec, type, contract, and test artifacts with configurable precedence and gating. This skill provides both reference documentation AND execution capabi
testing/hardened-outline-driven-development-outlinedriven-odin-claude-plugin(main)