r-irbe/proof-skills
Description and use
APM installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.
Compatible agents
- Claude Code
- Hermes
- Codex CLI
Limitations and review notes
GitHub-discovered skill metadata only; install commands are not executed by AtlasRepo.
- Source: GitHub
- License: Apache-2.0
- Category: agent-skills
- Record date: 2026-09-20T00:15:46.954Z