Skill instructions (SKILL.md) could not be loaded from local cache or raw GitHub repository.
program-to-model-extractor
star 4
Extract abstract mathematical models from functional code (Haskell, OCaml, F#) for formal reasoning in Isabelle/HOL. Use when users need to: (1) Convert functional programs to Isabelle definitions, (2) Extract high-level algorithm essence from implementation code, (3) Generate formal specifications and properties from code, (4) Create verification-ready models that capture mathematical properties while abstracting away implementation details. Focuses on structural recursion, algebraic data types, higher-order functions, and invariant extraction.
By tools-only schedule Updated 2/22/2026 Install via CLI
npx skills add https://github.com/tools-only/X-Skills --skill program-to-model-extractor
Repository Details
star Stars
4
call_split Forks
0
navigation Branch
main
article Path
SKILL.md
More from Creator
tools-only Explore all skills →