The interface is localized. Skill descriptions and documents are machine-translated by AI into your language; code, commands, paths and technical terms stay in the original, and the author's document governs.
Explore skills
Design & creative · SKILL.md

proof-driven-development

proof-driven-development

Run proof-driven development using Lean 4 for formal verification - comprehensive skill handling both design (planning) and execution (verification)

Independent GitHub snapshot · Automated classification · Original documentation governs

Skill documentation

GitHub
Loading documentation from the source…
Saved skills