Labyrinth-exploration is an open-source agent skill for open-ended mathematical research and discovery. It organizes agent campaigns using a dynamic knowledge map of proofs, conjectures, and refutations with independent referees. The Python project gives coding assistants structured reasoning workflows for complex problem-solving.
Opening Kapyn…