Daniel San(@dani_avila7):Anthropic's new plugin puts a team of agents on hard math /plugin install math-proof@claude-plugins-official Two skills for research level problems, both ending in a self contained proof /math-proof:solo has one Claude work the problem, saving each step to notes /math-proof:siege has a judge assign questions to parallel workers for hours, with every proof checked twice

Daniel San

@dani_avila7

Head of AI at | OSS project (32k⭐️)

Joined January 2015

3.4K Following 35K Followers

Daniel San@dani_avila7

2026.10.08 01:15

Anthropic's new plugin puts a team of agents on hard math /plugin install math-proof@claude-plugins-official Two skills for research level problems, both ending in a self contained proof /math-proof:solo has one Claude work the problem, saving each step to notes /math-proof:siege has a judge assign questions to parallel workers for hours, with every proof checked twice