LICENSE
README.md
pyproject.toml
src/isabelle_mcp/__init__.py
src/isabelle_mcp/evaluation.py
src/isabelle_mcp/file_watcher.py
src/isabelle_mcp/install.py
src/isabelle_mcp/instructions.py
src/isabelle_mcp/lsp_client.py
src/isabelle_mcp/models.py
src/isabelle_mcp/processing.py
src/isabelle_mcp/py.typed
src/isabelle_mcp/server.py
src/isabelle_mcp/unicode_guard.py
src/isabelle_mcp.egg-info/PKG-INFO
src/isabelle_mcp.egg-info/SOURCES.txt
src/isabelle_mcp.egg-info/dependency_links.txt
src/isabelle_mcp.egg-info/entry_points.txt
src/isabelle_mcp.egg-info/requires.txt
src/isabelle_mcp.egg-info/top_level.txt
src/isabelle_mcp/tools/__init__.py
src/isabelle_mcp/tools/command_output.py
src/isabelle_mcp/tools/definition.py
src/isabelle_mcp/tools/goal.py
src/isabelle_mcp/tools/hover.py
src/isabelle_mcp/tools/local_occurrences.py
src/isabelle_mcp/tools/session.py
src/isabelle_mcp/utils/__init__.py
src/isabelle_mcp/utils/core.py
src/isabelle_mcp/utils/formatters.py
src/isabelle_mcp/utils/isabelle_symbols.py
src/isabelle_mcp/utils/isabelle_tokens.py
tests/test_edge_cases.py
tests/test_file_watcher.py
tests/test_heap_sources.py
tests/test_install.py
tests/test_integration.py
tests/test_isabelle_tokens.py
tests/test_lsp_client.py
tests/test_processing.py
tests/test_server.py
tests/test_tools_command_output.py
tests/test_tools_definition.py
tests/test_tools_evaluate.py
tests/test_tools_goal.py
tests/test_tools_hover.py
tests/test_tools_local_occurrences.py
tests/test_tools_session.py
tests/test_unicode_guard.py
tests/test_utils.py