domains / science / formal-verification
| Skill | Kind | Repository |
|---|---|---|
| lean-theorem-proving-guide | separate | brycewang-stanford/Auto-Empirical-Research-Skills |
| lean4-theorem-proving | separate | benchflow-ai/skillsbench |
| proof-engine | separate | LeoYeAI/openclaw-master-skills |