First proof submission with Uber-polya coding agent skill Claude Code [pdf]

Let's discuss your feedback or comments. You can use uber-polya skill to solve mathematical problems. The uber-polya engine augments George Polya’s methodology with a catalog of over 340 algorithms, 116 mathematical structures, and 30 solver libraries, enabling systematic identification of applicable techniques for each problem domain.