githubinferredactive
conjecta
provenance:github:conjecta/conjecta
A bounded math reasoning agent with Lean 4 verification — conjecture, proof, verified conclusion
PUBLIC HISTORY
First discoveredAug 29, 2026
IDENTITY
inferred
Identity inferred from code signals. No PROVENANCE.yml found.
Is this yours? Claim it →METADATA
platformgithub
first seenAug 11, 2026
last updatedAug 28, 2026
last crawled12 days ago
version—
README BADGE
Add to your README:
