LICENSE
README.md
pyproject.toml
noethersolve/__init__.py
noethersolve/adapter.py
noethersolve/aggregation.py
noethersolve/audit_chem.py
noethersolve/audit_facts.py
noethersolve/audit_sequence.py
noethersolve/complexity.py
noethersolve/conjecture_status.py
noethersolve/crispr.py
noethersolve/hamiltonian.py
noethersolve/knot.py
noethersolve/learner.py
noethersolve/llm_claims.py
noethersolve/monitor.py
noethersolve/monitor_em.py
noethersolve/number_theory.py
noethersolve/oracle.py
noethersolve/pde_regularity.py
noethersolve/pharmacokinetics.py
noethersolve/pipeline.py
noethersolve/proof_barriers.py
noethersolve/reductions.py
noethersolve/splice.py
noethersolve/train_utils.py
noethersolve/validate.py
noethersolve.egg-info/PKG-INFO
noethersolve.egg-info/SOURCES.txt
noethersolve.egg-info/dependency_links.txt
noethersolve.egg-info/entry_points.txt
noethersolve.egg-info/requires.txt
noethersolve.egg-info/top_level.txt
noethersolve/mcp_server/__init__.py
noethersolve/mcp_server/__main__.py
noethersolve/mcp_server/server.py
tests/test_aggregation.py
tests/test_audit_chem.py
tests/test_audit_facts.py
tests/test_audit_sequence.py
tests/test_complexity.py
tests/test_conjecture_status.py
tests/test_crispr.py
tests/test_hamiltonian.py
tests/test_knot.py
tests/test_learner.py
tests/test_llm_claims.py
tests/test_monitor.py
tests/test_monitor_em.py
tests/test_number_theory.py
tests/test_pde_regularity.py
tests/test_pharmacokinetics.py
tests/test_pipeline.py
tests/test_proof_barriers.py
tests/test_reductions.py
tests/test_splice.py
tests/test_validate.py