with one click
exeris-spring-verification-planner
Plan verification depth (unit / module-integration / runtime-integration / architecture-guard / optional performance) based on change risk and architecture impact. Highlights merge-blocking gaps in evidence — particularly missing host-runtime ownership proofs and missing mode distinctions.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.