Claude Code plugin for Theory2 mathematical physics tooling - symbolic math, quantum chemistry, neural operators, theorem proving
Stars
0
Forks
0
Watchers
0
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
No contributors data available
feat(prove): add duper/hammer tactics and increase default timeout
0242494View on GitHubfeat(symbolic): add compare-alpha tool and update Lie algebra support
10c073cView on GitHubrefactor: restructure as marketplace with theory2-physics plugin
ad91c13View on GitHubfix: correct hooks.json structure for Claude Code compatibility
e65c673View on GitHubfeat(mcp): update prove_lean tool with RobustLeanProver features
f43c24bView on GitHubfeat(theorem-proving): add RobustLeanProver agent and documentation
f43c85eView on GitHubfix: use pre-cached mathlib4 commit for fast LeanDojo setup
7f3d5b0View on GitHub