LICENSE
README.md
pyproject.toml
euclid_mcp/__init__.py
euclid_mcp/__main__.py
euclid_mcp/explain.py
euclid_mcp/kb_summary.py
euclid_mcp/language.py
euclid_mcp/linter.py
euclid_mcp/models.py
euclid_mcp/prolog_bridge.py
euclid_mcp/sanitizer.py
euclid_mcp/server.py
euclid_mcp/translator.py
euclid_mcp.egg-info/PKG-INFO
euclid_mcp.egg-info/SOURCES.txt
euclid_mcp.egg-info/dependency_links.txt
euclid_mcp.egg-info/entry_points.txt
euclid_mcp.egg-info/requires.txt
euclid_mcp.egg-info/top_level.txt
tests/test_api.py
tests/test_cli.py
tests/test_explain.py
tests/test_kb_summary.py
tests/test_language.py
tests/test_linter.py
tests/test_preload.py
tests/test_prolog_bridge.py
tests/test_security.py
tests/test_tools.py
tests/test_translator.py