{"slug":"math-proof","title":"math-proof","description":"Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file; /math-proof:siege works on it for hours in rounds of judge and worker sub-agents and says plainly what is and is not proved.","developer":"Anthropic","category":"math","reported_installs":null,"active":true,"first_seen_at":"2026-10-03T21:29:08.306Z","last_seen_at":"2026-10-11T00:00:01.118Z","last_changed_at":"2026-10-03T22:13:33.942Z","platform":"claude","sources":["Official"],"works_with":["Claude Code"],"marketplace_url":null,"repository_url":"https://github.com/anthropics/claude-plugins-official/tree/main/plugins/math-proof","web_data":{},"github_data":{"name":"math-proof","author":{"name":"Anthropic","email":"support@anthropic.com"},"source":"./plugins/math-proof","category":"math","homepage":"https://github.com/anthropics/claude-plugins-official/tree/main/plugins/math-proof","description":"Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file; /math-proof:siege works on it for hours in rounds of judge and worker sub-agents and says plainly what is and is not proved."},"catalog_sources":{"official":[{"name":"math-proof","author":{"name":"Anthropic","email":"support@anthropic.com"},"source":"./plugins/math-proof","category":"math","homepage":"https://github.com/anthropics/claude-plugins-official/tree/main/plugins/math-proof","description":"Two skills for hard mathematics problems, each ending in a self-contained proof.md: /math-proof:solo has the session work the problem itself in stages with a notes file; /math-proof:siege works on it for hours in rounds of judge and worker sub-agents and says plainly what is and is not proved."}]}}