Software Development
Helps researchers formalize classical mathematics using Isabelle/HOL theorem proving.
Publisher / source
a5c-ai/babysitter (found on GitHub top repositories)
Upstream record
Version
Version 1
Published
2026-11-11
Publication review
Approved for publication ยท recorded passed scan 2026-11-11
Content fingerprint
2e1dd6083799671507e7f66c43c9c098e20dc2d0d0817977504f02564d1ad924
Review before you use it
Publication approval is a recorded review state, not a guarantee of safe execution. Check the upstream license, required tools and permissions, and test in your intended client.
Sign in to inspect the full instructions and download the SKILL.md file. This public page contains metadata only.
Source: https://prompeteer.ai/skills-hub/3ae12b23-5f92-4dad-879d-0980238d1e5d