academic-tools agents

whenpoem/aiscientist

Agent Claude Code

Adversarial reviewer of finished manuscripts. Refuses to sign off on central result claims until publication-critical metrics trace back to pinned evidence (empirical checklist) AND theorem claims trace back to an empty diagnostic manifest plus either a Lean verification or an explicit unverified flag (proof…