Skill instructions (SKILL.md) could not be loaded from local cache or raw GitHub repository.
proof-skeleton-generator
star 4
Generate structured proof skeletons with tactics, strategies, and intermediate lemmas for theorems in Isabelle/HOL or Coq. Use when users need to: (1) Create proof outlines for theorem statements, (2) Generate proof structure with tactic placeholders, (3) Identify key lemmas needed for a proof, (4) Plan proof strategies (induction, case analysis, forward/backward reasoning), (5) Scaffold proofs with intermediate steps and subgoals, or (6) Convert theorem statements into detailed proof templates. Supports both Isabelle/HOL and Coq equally.
By tools-only schedule Updated 2/22/2026 Install via CLI
npx skills add https://github.com/tools-only/X-Skills --skill proof-skeleton-generator
Repository Details
star Stars
4
call_split Forks
0
navigation Branch
main
article Path
SKILL.md
More from Creator
tools-only Explore all skills →