Web demo · Guided requests run the real Python compiler and independent verifier in your browser (Pyodide). No server, no AI. Loading… · To ask in your own words with a Claude/Gemini agent, or to use the MCP server: run it locally.

✓

Show Your Work

Math answers an assistant can prove

Simulated Alexa+ display · not an Amazon product MCP · connecting… Model · …

--:--Rivera family · MayaShow Your Work

Good evening

Try “Alexa, check Maya’s homework.”

Answers appear only after an independent verifier replays the proof.

Behind the screen

AI interprets → Compiler calculates → Verifier certifies. Every row below is a real call made in this session.

MCP server & tools

Simulated Alexa+ experience built for the Amazon Developer Hackathon. Not an Amazon product. Spoken replies use Gemini TTS (pre-recorded clips of the exact wording here; live when run locally with a Gemini key) and fall back to your browser’s voice; listening uses your browser’s speech recognition. No language model or voice model computes or judges the math; the voice only reads out the reply.