Theory2 Physics Plugin for Claude Code
A comprehensive mathematical physics tooling plugin that provides access to symbolic math, numerical physics, physics ML, theorem proving, and scientific verification through the Theory2 CLI.
Features
- Symbolic Mathematics: Lie algebras (E7→α⁻¹=137), SymPy operations, high-precision arithmetic
- Numerical Physics: Quantum chemistry (HF, DFT, CCSD), quantum circuit simulation
- Physics ML: Fourier Neural Operators, PINNs, E3NN equivariant networks
- Theorem Proving: Lean 4 with mathlib4 (210K+ theorems), LeanHammer
- Scientific Verification: Multi-method cross-validation, hermeneutic methodology
Installation
Prerequisites
- Theory2 must be installed at
/home/mikeb/theory2
- Python virtual environment with dependencies activated
Plugin Installation
# Clone or copy to Claude plugins directory
cp -r theory2-plugin ~/.claude/plugins/
# Or use with --plugin-dir
claude --plugin-dir /path/to/theory2-plugin
Usage
Slash Commands
/theory2-physics:symbolic compute-e7-alpha --verify
/theory2-physics:numerical quantum-chemistry --molecule="H2O" --method=dft
/theory2-physics:ml solve-pde --pde-type=heat --iterations=10000
/theory2-physics:prove lean --statement="2 + 2 = 4" --tactic=norm_num
/theory2-physics:verify cross-check --claim="alpha_inv=137"
MCP Tools
The plugin provides rich MCP tools with detailed descriptions:
theory2_symbolic_compute_e7_alpha - E7 Lie algebra → fine-structure constanttheory2_symbolic_lie_algebra - Query Lie algebra propertiestheory2_symbolic_eval/simplify/solve/diff/integrate - SymPy operationstheory2_numerical_quantum_chemistry - HF/DFT/CCSD calculationstheory2_numerical_quantum_circuit - Quantum circuit simulationtheory2_ml_train_fno/train_e3nn/solve_pde - Physics ML modelstheory2_prove_lean/search - Lean 4 theorem provingtheory2_verify_cross_check - Multi-method verification
Agents
- physics-solver: Autonomous multi-step physics problem solving
- physics-verifier: Cross-validation and verification specialist
Scientific Validation Methodology
The plugin implements a rigorous validation workflow:
- Hermeneutic Circle: Iterative part↔whole understanding
- Prior Knowledge Search: Task memory integration
- Multi-Method Verification: Symbolic + numerical + experimental
- Deep Exploration: Systematic hypothesis testing
- Resolution: Uncertainty quantification and documentation
Components
theory2-plugin/
├── .claude-plugin/
│ └── plugin.json # Plugin manifest
├── commands/ # Slash commands
│ ├── symbolic.md
│ ├── numerical.md
│ ├── ml.md
│ ├── prove.md
│ └── verify.md
├── agents/ # Autonomous agents
│ ├── physics-solver.md
│ └── physics-verifier.md
├── skills/
│ └── theory2-physics/
│ └── SKILL.md # Usage skill
├── hooks/
│ └── hooks.json # Event hooks
├── mcp/
│ └── theory2_server.py # MCP server
└── .mcp.json # MCP configuration
Repository
License
MIT
slapglif
