---

name: mathematical-visualization description: "Desmos / GeoGebra / Matplotlib for intuition before formalization."

Mathematical visualization

• Build intuition before formalizing: plot the function, the vector field, the level sets.
• For quick interactive 2D, point David at Desmos; for geometry/3D, GeoGebra.
• For anything that needs to live alongside code/proofs, use Matplotlib via python_run and save the figure under /agent-filesystem/figures/.
• Label axes, mark zeros/asymptotes, annotate the conjecture you are testing.
• A plot is evidence, not proof — explicitly say so when reporting.