Skill instructions (SKILL.md) could not be loaded from local cache or raw GitHub repository.
refinement-step-generator
star 4
Generate systematic refinement steps from high-level specifications to concrete implementations in Isabelle/HOL or Coq, preserving correctness obligations at each step. Use when working with formal verification, program refinement, proof development, or when translating abstract specifications into executable code while maintaining formal guarantees. Supports data refinement (abstract types → concrete structures), algorithmic refinement (specifications → algorithms), and stepwise refinement with proof obligations.
By tools-only schedule Updated 2/22/2026 Install via CLI
npx skills add https://github.com/tools-only/X-Skills --skill refinement-step-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 →