proof-failure-explainer
Agent skill for Researcher, ML / AI Engineer, Technical Writer, published by ArabelaTso. Project details and file access are provided by the publisher.
ORIGINAL REPOSITORY
ArabelaTso/Skills-4-SE ↗GitHub activity
- Stars
- 260
- Forks
- 26
- Open issues and PRs
- 3
- Repository size
- ~8,929 KB
- Default branch
- main
- Created
- Feb 14, 2026
- Repository updated
- Oct 28, 2026
- Last push
- Aug 20, 2026
- Language
- Python
- License
- Apache-2.0
Topics claude · claude-code · claude-skills · metaprogramming · software-development · software-engineering
Repository-wide figures from GitHub, checked Nov 4, 2026. Stars are endorsements, not a Mega AI Hub quality rating. Repository size is GitHub’s estimate; a ZIP download may differ.
Resource information
- Availability
- Reference listing — files at the original project; no Dave AI download
- Fields of work
- Education & Research, Development & Engineering, Content & Media
- Roles
- Researcher, ML / AI Engineer, Technical Writer
- Specialties
- Specialty not specified
- Tools & integrations
- Isabelle, Coq
- Country applicability
- Country not specified
- Credit basis
- Original author named in the linked attribution ledger
- Publisher
- ArabelaTso
- Official website
- https://github.com/ArabelaTso/Skills-4-SE/blob/main/skills/proof-failure-explainer/SKILL.md
- Last checked
- Nov 2, 2026
- License
- Not specified
- Last record update
- Nov 2, 2026