LICENSE
README.md
pyproject.toml
euclid_mcp/__init__.py
euclid_mcp/__main__.py
euclid_mcp/cli.py
euclid_mcp/engine.py
euclid_mcp/explain.py
euclid_mcp/ir_engine.py
euclid_mcp/ir_parser.py
euclid_mcp/kb_store.py
euclid_mcp/kb_summary.py
euclid_mcp/language.py
euclid_mcp/linter.py
euclid_mcp/metrics.py
euclid_mcp/models.py
euclid_mcp/prolog_bridge.py
euclid_mcp/prolog_engine.pl
euclid_mcp/prolog_server.py
euclid_mcp/sanitizer.py
euclid_mcp/server.py
euclid_mcp/translator.py
euclid_mcp/validation.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_cli_tool.py
tests/test_explain.py
tests/test_kb_store.py
tests/test_kb_summary.py
tests/test_language.py
tests/test_linter.py
tests/test_metrics.py
tests/test_native_engine.py
tests/test_policy_compiler.py
tests/test_preload.py
tests/test_prolog_bridge.py
tests/test_prolog_server.py
tests/test_security.py
tests/test_tools.py
tests/test_translator.py
tests/test_unicode_atoms.py