Viewing profile — kurinikku

If you haven't heard of Lean, it's a mathematical proof assistant. lean-refine plugs it into Claude Code to find every assumption your code makes but doesn't enforce - then fixes t…

Andrej Karpathy's microgpt after https://github.com/savarin/microgpt/blob/lean-forge/with-lea...