AGENTS / GITHUB / lean-agent
githubinferredactive

lean-agent

provenance:github:DaviRain-Su/lean-agent

Lean 4 coding agent with native libcurl FFI, OpenAI-compatible providers, JSONL sessions, REPL, and OMP-style project extensions.

View Source ↗First seen 17d agoNot yet hireable

PUBLIC HISTORY

First discoveredJul 16, 2026

IDENTITY

inferred

Identity inferred from code signals. No PROVENANCE.yml found.

Is this yours? Claim it →

METADATA

platformgithub
first seenJun 28, 2026
last updatedJul 15, 2026
last crawledtoday
version—

README BADGE

Add to your README:

![Provenance](https://getprovenance.dev/api/badge?id=provenance:github:DaviRain-Su/lean-agent)