proof-driven-development

1.3

144

109

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

formal verification

1.3

Rating

Installs

Testing & Quality

Quick Review

No summary available.

LLM Signals

Description coverage-

Task knowledge-

Structure-

Novelty-

GitHub Signals

Last commit 0 days ago

Publisher

majiayu000

Skill Author

Loading SKILL.md…

Try onlineView on GitHub

Publisher

majiayu000

Skill Author

Related Skills

playwright-expert

Jeffallan

6.4

test-master

Jeffallan

6.4

debugging-wizard

Jeffallan

6.4

code-reviewer

Jeffallan

6.4

Try online

Improve

proof-driven-development

1.3

by majiayu000

144

109

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

formal verification

1.3

Rating

Installs

Testing & Quality

Quick Review

No summary available.

LLM Signals

Description coverage-

Task knowledge-

Structure-

Novelty-

GitHub Signals

Last commit 0 days ago

Publisher

majiayu000

Skill Author

Loading SKILL.md…

Try onlineView on GitHub

Publisher

majiayu000

Skill Author

Related Skills

playwright-expert

Jeffallan

6.4

test-master

Jeffallan

6.4

debugging-wizard

Jeffallan

6.4

code-reviewer

Jeffallan

6.4

Try online