domains / research / proof-checking / proof-checker
Adapter folders in the same repository are variants of one skill.
| Repository | Path |
|---|---|
| wanshuiyin/Auto-claude-code-research-in-sleep | skills/proof-checker/SKILL.md |
| Role | Repository | Path |
|---|---|---|
| adapter | wanshuiyin/Auto-claude-code-research-in-sleep | skills/skills-codex/proof-checker/SKILL.md |