lean-collab

lean-collab contiene 2 skills recopiladas de mutable-state-inc, con cobertura ocupacional por repositorio y páginas de detalle dentro del sitio.

skills recopiladas

Stars

actualizado

2026-01-25

Forks

Cobertura ocupacional

1 categorías ocupacionales · 100% clasificado

explorador de repositorios

Skills en este repositorio

creador/repositorio/skill

skill

ocupación

descripción

actualizado

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

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