Open Source56m ago
Detected, not submitted
lean-agent
Own lean-agent?
Verify your site to claim this listing and get emailed the moment a buyer's looking for something like it.
Link proof assistant Lean to Claude to fix your code's hidden assumptions
Spotted on Hacker News on September 24, 2026.
KU
kurinikku
Maker