Codex Math Lab

Interactive calculations require JavaScript, but you can still read the experiment summaries:

Rectangles on an m×k board
The standard Fermat test
Euler's polynomial
False-proof audit
Prompt dojo