Jesus take the wheel. I found this while looking for math research harnesses.

(2/2) Comparator will check the solution and if it compiles, it will get merged. It does not matter who solves the challenge, a high-schooler with an AI or a well-established mathematician. Let's…

Large code changes are scary.... unless your code is in Lean! Lean Pool got a massive 45k LOC golf, from 1 week of CC+ultracode. Merging such massive PRs is scary unless your codebase is all Lean…

At the moment this is a personal project. In particular, I am paying for the LLM reviews and agents myself. If anyone is interested in a collaboration, I am happy to talk. Lean Pool was started by…