LICENSE
README.md
pyproject.toml
euclid_mcp/__init__.py
euclid_mcp/__main__.py
euclid_mcp/language.py
euclid_mcp/models.py
euclid_mcp/prolog_bridge.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_language.py
tests/test_prolog_bridge.py
tests/test_translator.py