24 tagged code-verification, measured the same way as everything else here.
Browse within: code-quality 23ai-assisted-development 22defensive-programming 22Autonomous Agents 5agentic-coding 5ai-readiness 5
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…
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.
cagdasyurekli/codex-agy-worker
Skill Codex
Use when Codex should delegate repository exploration or implementation to Google Antigravity CLI (agy), then review, verify, repair, and deliver the result.
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: