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…
not rated 9 5mo ago A 114 tokens
original MIT