poteto ships two skills that teach coding agents to verify their own work

kieranklaassen · x · 2026-10-12

poteto (author of pstack) argues the most basic agentic loop is verification: letting agents run, control, and debug the app like a real user so they can close the loop themselves.

He added two skills to pstack that anyone should use or copy:

The goal: agents produce an artifact proving the work is correct, matches intent, and is easier to review than reading the whole PR. For state-machine bugs, agents can even model the problem in TLA+.

Original post →

More from coding & agent

coding & agent channel →