Intrafere/MOTO-Autonomous-ASI
MOTO is an automated theorem generator for science. It's a creative novelty-seeking researcher with autonomous Lean 4 proof generation. Run for days at a time once pressing start - no interaction needed! Agents working in parallel from either local host LM studio, OpenRouter, OAuth or all 3. No internet required. Star us for more!
95
Stars
16
Forks
37.7
Radar Score
Stable
Momentum
Scoring Breakdown
Impact34.6
Velocity29.3
Health54.5
Growth Metrics
7-Day Stars
+0
30-Day Stars
+0
Acceleration
x
Language
Python
Why it ranks
Modest but positive momentum.
Top 65% globally
🛡️ Enterprise Readiness & Commercial Safety
Organic Growth
95%
High Confidence
Growth pattern looks organic.
License
Permissive (Commercial Friendly)
Safe for commercial use, modification, and distribution.
Health Grade
B
Based on maintenance, issue response, and release cadence.
Radar Score
37.7
Composite of Impact, Velocity, and Health.
Disclaimer: This is an automated heuristic assessment based on public GitHub signals. Always perform your own security audit, dependency review, and legal compliance check before production deployment.
Share & Embed
Display live Radar metrics in your documentation, website, or social profiles.