lean-proof-progress

Name: lean-proof-progress
Availability: InStock
Author: my04337

Community

Track Lean 4 proof progress and retreat planning.

Software Engineering #planning #blockers #lean #proof #session-restoration #retreat #sorry

Authormy04337

Version1.0.0

Installs0

System Documentation

What problem does it solve?

Track Lean 4 sorry statuses across proof sessions to surface blockers and guide decision-making.

Core Features & Use Cases

Track and summarize active sorries (unproven goals) across sessions to surface blockers.
Provide session restoration and planning references to guide next steps.
Generate actionable insights to decide when to retreat or pivot your proof strategy.

Quick Start

Summarize the current proof session and display a recommended next action.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 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-proof-progress
Download link: https://github.com/my04337/shapez2-in-lean/archive/main.zip#lean-proof-progress

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.

View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.