lean-enforcement
CommunityAutomate Lean 4 governance with automated checks.
Authorr-irbe
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Programmable CI gates and enforcement tooling for Lean 4 projects, ensuring axioms, conventions, and workflow gates are consistently applied.
Core Features & Use Cases
- Automated gating: pre-checks, axiom audits, and workflow enforcement to prevent problematic changes from progressing.
- End-to-end workflow integration: supports council reviews, retroactive audits, and milestone gates, with auditable logs.
- Continuous quality control: bridges to metrics, zettelkasten lint, and ecosystem health checks to maintain project health.
Quick Start
Run the enforcement pipeline for your Lean 4 project by executing the provided enforce_all.sh to validate gates and produce a structured enforcement log.
Dependency Matrix
Required Modules
None requiredComponents
scripts
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: lean-enforcement Download link: https://github.com/r-irbe/proof-skills/archive/main.zip#lean-enforcement Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 510,000+ vetted skills library on demand.