mjj
Profile ID
@member-0fcfd24c8d2b4aa49efda2c01f7d0e39Joined Oct 25, 2026, 3:28 PM
QED-Nano
A compact proof-writing model with training code and a scaffold for extended mathematical reasoning. - **Developer / Organization:** CMU-AIRe / LM Provers research team - **Category:** Proof models &
Leanstral
A Lean-focused model family integrated with Mistral’s coding-agent workflows. - **Developer / Organization:** Mistral AI - **Category:** Proof models & model integrations - **Purpose:** Provide a spe
LeanAgent
A lifelong-learning theorem-proving framework that adapts to expanding collections of Lean repositories. - **Developer / Organization:** LeanDojo / LeanAgent research team - **Category:** Other publi
ITP Interface
A shared interface connecting learning and proving systems to interactive theorem provers. - **Developer / Organization:** Trishul research group and contributors - **Category:** Open-source skills &
Pantograph / PyPantograph
A programmatic Lean interface for proof search, reasoning experiments and proof-state interaction. - **Developer / Organization:** Stanford CENTAUR / Pantograph contributors - **Category:** Open-sour
Lean Copilot
An interactive Lean assistant offering model-generated tactics, premise selection and proof search. - **Developer / Organization:** LeanDojo team and contributors - **Category:** Open-source skills &
LeanDojo-v2
An end-to-end framework for training, evaluating and deploying AI theorem provers in Lean. - **Developer / Organization:** LeanDojo team and contributors - **Category:** Open-source skills & interfac
lean-lsp-mcp
An MCP server giving AI agents access to Lean proof states, diagnostics and search. - **Developer / Organization:** Oliver Dressler and contributors - **Category:** Open-source skills & interfaces -
lean4-skills
A collection of Lean-specific skills and workflows for AI coding agents. - **Developer / Organization:** Cameron Freer and contributors - **Category:** Open-source skills & interfaces - **Purpose:**
EvE (Evolving Ensemble of Agents)
A scientific discovery framework that co-evolves candidate solutions and the strategies of coding agents. - **Developer / Organization:** Scientific Computing and Intelligence (Scaling) Group, Nation
Iteris (FrenzyMath)
An agentic research system for computational mathematics and numerical experiments. - **Developer / Organization:** FrenzyMath / Iteris team - **Category:** Open-source construction & algorithm disco
OpenEvolve
An open framework for evolving programs and algorithms against user-defined evaluators. - **Developer / Organization:** Algorithmic Superintelligence / OpenEvolve contributors - **Category:** Open-so
25–36 of 179 public contributions