feat(prove): add duper/hammer tactics and increase default timeout

feat(symbolic): add compare-alpha tool and update Lie algebra support

fix: correct marketplace.json owner schema

fix: correct marketplace.json schema

refactor: restructure as marketplace with theory2-physics plugin

feat: bump version to 1.1.0, add mcpServers reference

fix: correct hooks.json structure for Claude Code compatibility

feat: add bioinformatics and combinatorics modules

feat: add comprehensive physics and quantum tools

feat(mcp): update prove_lean tool with RobustLeanProver features

feat(theorem-proving): add RobustLeanProver agent and documentation

fix: use pre-cached mathlib4 commit for fast LeanDojo setup

feat: add LeanDojo mathlib4 tracing support

fix: simplify Lean setup script

feat: add automatic Lean 4 setup on plugin install