aisettings
Log InAdd your setup
AGENTS.md
Tools

Who uses AGENTS.md and programmed verification tools

1 person lists AGENTS.md and programmed verification tools as their tools. Newest evidence: Mitchell Hashimoto, Feb 5, 2026.

Paired with

The harness these people run with AGENTS.md and programmed verification tools.

Amp1
Mitchell Hashimoto
Developer; co-founder of Superlogical
HarnessAmp
ModelGPT-5.5

Can’t find someone? Request them, ask them on X, or add your own setup.