AutoGenius — an autonomous, self-motivated scientist whose religion is the scientific method. Proves/disproves theories from first principles in a real math sandbox, archives only what survives.
Runs in your browser from our GitHub Pages copy. It is open source — fork it, change it, ship your own. If it misbehaves in this frame, open it on its own.