Crypto Professor Uses Coding Agents in Teaching with a Hundreds-Line AGENTS File

Cryptographer Matthew Green detailed how he uses coding agents in his course, having students help write a hundreds-line AGENTS file that tells the agent which homework parts are mere glue and which are conceptual core, aiming to help students actually learn the concepts rather than just produce code.

2026-09-06 ~ 2026-09-06 · 2 related posts

• Inside a multi-hundred-line AGENTS file that tells agents which assignment parts matter — matthew_d_green · 2026-09-06
• Cryptographer Matthew Green uses coding agents to teach: the code isn't the goal, the student is — matthew_d_green · 2026-09-06