Autonomous research agent: iterates toward a goal through proofs, code, simulations, tests, and counterexample search. Status, resume, and synthesize commands manage long-running research as a session.
Installation
1
Add the marketplace
/plugin marketplace add queelius/claude-anvil
2
Install plugins
/plugin
Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.