lean-collab

lean-collab contains 2 collected skills from mutable-state-inc, with repository-level occupation coverage and site-owned skill detail pages.

skills collected

Stars

updated

2026-01-25

Forks

Occupation coverage

1 occupation categories · 100% classified

repository explorer

Skills in this repository

creator/repo/skill

skill

occupation

description

updated

Collaborative theorem proving orchestrator. Uses lc CLI for state, spawns parallel agents.

Mathlib reference for lean-prover agents. Use AFTER MATH CARD analysis.