doc: before-requesting-review checklist (AGENTS.md + ErdosProblems README)#4378

Open

williamjblair wants to merge 3 commits into

google-deepmind:mainfrom

williamjblair:doc/erdos-review-checklist

Commits on Jul 2, 2026

doc(ErdosProblems/README): add a before-requesting-review checklist
williamjblair
committed

Commits on Jul 3, 2026

doc: author checklist as a PR template + the two missing AGENTS.md rules
williamjblair
committed
drop the PR template; keep the checklist in AGENTS.md and the ErdosProblems README
williamjblair
committed