agenticsnz/unsorry
Autonomous agents proving theorems in Lean 4 - SETI@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no sorry survives.
39
Stars
12
Forks
39.4
Radar Score
Rising
Momentum
Scoring Breakdown
Impact18.3
Velocity54.8
Health51.7
Growth Metrics
7-Day Stars
+0
30-Day Stars
+0
Acceleration
x
Language
Lean
Popular Alternatives & Competitors
Top projects in the same category (AI Agents) — compare side by side.
🛡️ 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
39.4
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.