What is numina-lean-agent?
numina-lean-agent is a coding that Numina-Lean-Agent is an efficient tool for formal theorem proving tasks.. It has a Nerq Trust Score of 56/100 (D). 0 GitHub stars. Published by mengnemojohan. Last analyzed September 2026.
Why This Score
- ⚠️ Security: 0/100 — Some security concerns
- ⚠️ Maintenance: 1/100 — Maintenance activity is low
- ⚠️ Community: 0 stars, 0 downloads — Growing community
- ⚠️ Transparency: License: Not specified — No license specified
Trust & Safety Overview
What numina-lean-agent Does
numina-lean-agent is a agent in the coding category. Numina-Lean-Agent is an efficient tool for formal theorem proving tasks.. It is published by mengnemojohan and has no specified license. With 0 GitHub stars and 0 downloads, it has a small community of users and contributors.
Who Should Use numina-lean-agent
numina-lean-agent is suitable for evaluation and non-critical use. Review the trust score breakdown before using in production.
Details
| Author | mengnemojohan |
|---|---|
| Category | coding |
| License | Not specified |
| Type | agent |
| Source | View on GitHub |
| Security Score | 0/100 |
| Activity Score | 1/100 |
How to Get Started
Check the trust score before installing:
curl nerq.ai/v1/preflight?target=numina-lean-agent
Setup guide · Full safety report · Production review · Is it safe?
Safer Alternatives
| Tool | Trust | Stars |
|---|---|---|
| AutoGPT | 65 | 181.9K |
| ollama | 64 | 163.0K |
| langchain | 77 | 127.8K |
| system-prompts-and-models-of-ai-tools | 64 | 115.3K |
| opencode | 78 | 108.1K |
Frequently Asked Questions
Last updated September 2026. Trust scores based on automated analysis of public data.