code verification skills

vertti/se-cove-claude-plugin

Skill Claude CodeCodex

This skill suggests using /verify for software engineering tasks that would benefit from systematic verification.

krokoko/cairn

Skill Claude CodeCodex

Generate a prioritized improvement roadmap to increase AI readiness. Trigger phrases: "generate roadmap", "what should I improve", "how to reach the next level", "autonomy improvement plan", "what are my next steps for AI readiness".

krokoko/cairn

Skill Claude CodeCodex

Assess the current verification maturity of a codebase and identify gaps. Trigger phrases: "assess verification", "verification maturity", "how is my testing", "verification strategy assessment", "what is my verification coverage", "audit my tests".

krokoko/cairn

Skill Claude CodeCodex

Design a verification strategy for specific components to unlock more autonomy. Trigger phrases: "design verification strategy", "what verification do I need", "verification plan", "how to verify this component", "unlock autonomy for this module", "what tests should I add".

knot0-com/semi-formal-reasoning

Skill Claude CodeCodex

Use for code verification, debugging, and deep code analysis without running tests. This skill should be used when the user asks to "verify my changes", "check my patch", "find the bug", "why does this test fail", "are these changes correct", "review this diff", or when analyzing code semantics that require tracing…

unknowbug/anchorlaw

Skill Claude CodeCodex

An isolated review role that checks whether work meets its acceptance criteria and reports its findings without changing the work's status.

unknowbug/anchorlaw

Skill Claude CodeCodex

A system for recording runtime failures as structured “noise cards,” which are saved notes about unexpected behavior and its cause. Unresolved cards can later be turned into regression tests, tests that prevent the same failure from returning.

unknowbug/anchorlaw

Skill Claude CodeCodex

A noise-card system for recording runtime failures as structured notes that can later become regression tests, which are tests that prevent the same problem from returning.

Morningstar202604/AgentSeed

Skill Claude CodeCodex

Minimal conformant skill fixture for the good-plugin example.

Morningstar202604/AgentSeed

Skill Claude CodeCodex

Guardrail for coding agents. Loads the SDD contract and the prompt pool before code is written, then calls the agentseed MCP server's verifycode and scanhallucination tools; a task may only be marked complete when both pass and the completion report attaches evidence. Use whenever the agent writes, edits, or claims…

cagdasyurekli/codex-agy-worker

Skill Claude CodeCodex

Let Codex use Google Antigravity CLI (agy) for repository exploration, bounded feature work, and project-scale implementation. Use when a Codex task benefits from delegated repository work while Codex retains diff review, verification, repair, and delivery assurance.