sorry-checker

•published 2026/01/18

Check that no sorry placeholders exist in the codebase. Use after making changes or when asked to verify proof completeness.

Install directly with the `skills` CLI.

npx skills add Arthur742Ramos/Metatheory/.claude/skills/sorry-checker

Download only this skill directory.

File Explorer

0 files

No file selected

readonly

Select a file to view its content