LICENSE
README.md
el_cli.py
pyproject.toml
setup.py
matyos/__init__.py
matyos/__main__.py
matyos/cli.py
matyos/mcp_server.py
matyos.egg-info/PKG-INFO
matyos.egg-info/SOURCES.txt
matyos.egg-info/dependency_links.txt
matyos.egg-info/entry_points.txt
matyos.egg-info/requires.txt
matyos.egg-info/top_level.txt
matyos/discovery/__init__.py
matyos/discovery/__main__.py
matyos/discovery/anomaly.py
matyos/discovery/cf.py
matyos/discovery/engine.py
matyos/discovery/generator.py
matyos/discovery/graph.py
matyos/discovery/known.py
matyos/discovery/label.py
matyos/discovery/lean.py
matyos/discovery/objects.py
matyos/discovery/reasoner.py
matyos/discovery/scorer.py
matyos/discovery/store.py
matyos/discovery/triage.py
matyos/discovery/verify.py
matyos/frontend/__init__.py
matyos/frontend/surface.py
matyos/frontend/tactics.py
matyos/kernel/__init__.py
matyos/kernel/core.py
matyos/kernel/equality.py
matyos/kernel/inductive.py
matyos/logic/__init__.py
matyos/logic/realistic.py
matyos/project/__init__.py
matyos/project/engine.py
matyos/stdlib/arith.elk
matyos/stdlib/bool.elk
matyos/stdlib/eq.elk
matyos/stdlib/logic.elk
matyos/stdlib/nat.elk
tests/test_cli.py
tests/test_discovery.py
tests/test_el.py
tests/test_encoding.py
tests/test_equality.py
tests/test_graph.py
tests/test_inductive.py
tests/test_kernel_core.py
tests/test_library.py
tests/test_mcp_server.py
tests/test_project.py
tests/test_realistic.py
tests/test_scientific.py
tests/test_surface.py
tests/test_tactics.py