← Back
cmu-l3/Leanimum-agent
Open-source AI ToolStatus: Published — critical fields verified, some fields unverified
cmu-l3/Leanimum-agent: The 100 line AI agent for proving theorems and writing programs in Lean. Radically simple, no huge configs, no giant monorepo. Forked from mini-SWE-agent.
- The 100 line AI agent for proving theorems and writing programs in Lean. Radically simple, no huge configs, no giant monorepo. Forked from mini-SWE-agent.
Request operator identity verification
Risk
No known risk within the verified fields.
12
All fields
6
Verified
0
Verified empty
6
Unverified
Open-source AI Tool details
Repository
| Repository | https://github.com/cmu-l3/Leanimum-agent |
| Ecosystem | github |
| Package | cmu-l3/Leanimum-agent |
| Publisher | cmu-l3 |
| License | UNKNOWN |
| Latest release | UNKNOWN |
| Status | ACTIVE |
| Homepage | https://cmu-l3.github.io/Leanimum-agent/ |
| Documentation | UNKNOWN |
Runtime
| Platforms | UNKNOWN |
| Runtime requirements | UNKNOWN |
| Installation | UNKNOWN |
Critical Evidence
| Field | Status | Last checked / observed / Freshness | Confidence | Evidence |
|---|---|---|---|---|
| Pricing | UNKNOWN | Not obtained | Not obtained | 0 |
| Availability | UNKNOWN | Not obtained | Not obtained | 0 |
| Language | UNKNOWN | Not obtained | Not obtained | 0 |
| Integration | UNKNOWN | Not obtained | Not obtained | 0 |
| Deployment | UNKNOWN | Not obtained | Not obtained | 0 |
| Commercial use | UNKNOWN | 2026-11-11 | Not obtained | 0 |
Functional Evidence
| Field | Status | Last checked / observed / Freshness | Confidence | Evidence |
|---|---|---|---|---|
| Capability | UNKNOWN | Not obtained | Not obtained | 0 |
| Automation behavior | UNKNOWN | Not obtained | Not obtained | 0 |
| Input | UNKNOWN | Not obtained | Not obtained | 0 |
| Output | UNKNOWN | Not obtained | Not obtained | 0 |
Change history
- 2026-11-11 Published (some fields unverified)
Registered metadata
| archived | ACTIVE |
| canonical_repository | https://github.com/cmu-l3/Leanimum-agent |
| documentation_url | UNKNOWN |
| entity_kind | OPEN_SOURCE_AI_TOOL |
| homepage_url | https://cmu-l3.github.io/Leanimum-agent/ |
| installation | None |
| latest_release | UNKNOWN |
| license | UNKNOWN |
| package_ecosystem | github |
| package_identifier | cmu-l3/Leanimum-agent |
| platforms | None |
| publisher | cmu-l3 |
| runtime_requirements | None |
Field verification (12 fields)
| Field | Status | Confidence | Value | Last checked / observed | Evidence |
|---|---|---|---|---|---|
| archived | ✓ Verified | Not obtained | ACTIVE | 2026-11-11 | |
| canonical_repository | ✓ Verified | Not obtained | https://github.com/cmu-l3/Leanimum-agent | 2026-11-11 | |
| documentation_url | ? Unverified | Not obtained | UNKNOWN | 2026-11-11 | No evidence |
| homepage_url | ✓ Verified | Not obtained | https://cmu-l3.github.io/Leanimum-agent/ | 2026-11-11 | |
| installation | ? Unverified | Not obtained | None | 2026-11-11 | No evidence |
| latest_release | ? Unverified | Not obtained | UNKNOWN | 2026-11-11 | No evidence |
| license | ? Unverified | Not obtained | UNKNOWN | 2026-11-11 | No evidence |
| package_ecosystem | ✓ Verified | Not obtained | github | 2026-11-11 | |
| package_identifier | ✓ Verified | Not obtained | cmu-l3/Leanimum-agent | 2026-11-11 | |
| platforms | ? Unverified | Not obtained | None | 2026-11-11 | No evidence |
| publisher | ✓ Verified | Not obtained | cmu-l3 | 2026-11-11 | |
| runtime_requirements | ? Unverified | Not obtained | None | 2026-11-11 | No evidence |