AGENTS / GITHUB / ineqmath-proof-agent
githubinferredactive

ineqmath-proof-agent

provenance:github:Aditi21372/ineqmath-proof-agent

LLM agent generating rigorously verified math proofs: DSPy + GEPA prompt optimization + Lean 4/Mathlib formal checking

View Source ↗First seen todayNot yet hireable

PUBLIC HISTORY

First discoveredSep 11, 2026

IDENTITY

inferred

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

Is this yours? Claim it →

METADATA

platformgithub
first seenSep 10, 2026
last updatedSep 10, 2026
last crawledtoday
version—

README BADGE

Add to your README:

![Provenance](https://getprovenance.dev/api/badge?id=provenance:github:Aditi21372/ineqmath-proof-agent)