mbrcic/ai-safety-formalization-atlas
The open workbench for AI safety, made formal. Turn safety questions into machine-checked Lean proofs — a shared launchpad where researchers and AI agents build provable safety together.
8
Stars
2
Forks
31.7
Radar Score
Rising
Momentum
Scoring Breakdown
Impact1.9
Velocity49.2
Health54.7
Growth Metrics
7-Day Stars
+0
30-Day Stars
+0
Acceleration
x
Language
Lean
Why it ranks
Steady growth — consistently collecting stars and contributors.
AI Safety & Alignment · guardrailsTop 79% globally
Popular Alternatives & Competitors
Top projects in the same category (AI Safety & Alignment) — 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
31.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.