lean-collab

lean-collab contient 2 skills collectées depuis mutable-state-inc, avec une couverture métier par dépôt et des pages de détail sur le site.

skills collectés

Stars

mis à jour

2026-01-25

Forks

Couverture métier

1 catégories métier · 100% classifié

explorateur de dépôts

Skills dans ce dépôt

créateur/dépôt/skill

skill

métier

description

mis à jour

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

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