PrototypeCommon
project-numina/kimina-lean-server
Kimina Lean server (+ client SDK)
- Owner
- project-numina (organization)
- Stars
- Stars: 214
- Forks
- Forks: 37
- Language
- Python
- License
- MIT
- Created
- 2025
- Topics
- lean4repl
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by project-numina
All 3 repos by project-numina- project-numina/aimo-progress-prizeStars: 497Jupyter NotebookAlpha
- project-numina/numina-lean-agentStars: 286PythonAlpha
Nearby in Python
All Python repos- B0yko/ternStars: 214PythonPrototype
- veda-sparse/Veda-on-ComfyUIStars: 214PythonPrototype
- Pluviobyte/claude-ban-cleanStars: 214PythonPrototype
- cobrateam/flask-mongoalchemyStars: 214PythonPrototype
- zachwill/domStars: 214PythonPrototype
- Khan/snippetsStars: 214PythonPrototype