proof-driven-development
Facilitates proof-driven development using Lean 4 for formal verification, ensuring algorithm correctness and safety properties.
Install this skill
or
97/100
Security score
The proof-driven-development skill was audited on Feb 27, 2026 and we found 3 security issues across 1 threat category. Review the findings below before installing.
Categories Tested
Security Issues
low line 791
External URL reference
SourceSKILL.md
| 791 | - [Theorem Proving in Lean 4](https://leanprover.github.io/theorem_proving_in_lean4/) |
low line 792
External URL reference
SourceSKILL.md
| 792 | - [Mathlib Documentation](https://leanprover-community.github.io/mathlib4_docs/) |
low line 793
External URL reference
SourceSKILL.md
| 793 | - [Lean 4 Tactics Guide](https://leanprover-community.github.io/contribute/style.html) |
Scanned on Feb 27, 2026
View Security DashboardGitHub Stars 2
Rate this skill
Categorydata analytics
UpdatedMay 21, 2026
openclawbackenddata-scientistml-ai-engineerbackend-developerproduct-managerproject-managerdata analyticsdevelopmentproductproject management
diegosouzapw/awesome-omni-skill