AlphaUncommon
project-numina/numina-lean-agent
No description.
- Owner
- project-numina (organization)
- Stars
- Stars: 286
- Forks
- Forks: 37
- Language
- Python
- License
- None
- Created
- 2026
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by project-numina
All 3 repos by project-numina- project-numina/aimo-progress-prizeStars: 497Jupyter NotebookAlpha
- project-numina/kimina-lean-serverStars: 214PythonPrototype
Nearby in Python
All Python repos- RLinf/APXinf-roboStars: 286PythonAlpha
- BinceQu/RoboHarnessStars: 286PythonAlpha
- zero-lab-ai/skillsStars: 286PythonAlpha
- blanu/DustStars: 286PythonAlpha
- sustained/CoffeeScript-Sublime-PluginStars: 286PythonAlpha
- Alfanous-team/alfanousStars: 286PythonAlpha