LICENSE
MANIFEST.in
README.md
pyproject.toml
src/isabelle_mcp/__init__.py
src/isabelle_mcp/component.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/scala/Isabelle2025-2/ML/mcp_prelude.ML
src/isabelle_mcp/scala/Isabelle2025-2/docs/CANCELLATION.md
src/isabelle_mcp/scala/Isabelle2025-2/etc/build.props
src/isabelle_mcp/scala/Isabelle2025-2/etc/settings
src/isabelle_mcp/scala/Isabelle2025-2/lib/isabelle_mcp.jar
src/isabelle_mcp/scala/Isabelle2025-2/src/channel.scala
src/isabelle_mcp/scala/Isabelle2025-2/src/dynamic_output.scala
src/isabelle_mcp/scala/Isabelle2025-2/src/language_server.scala
src/isabelle_mcp/scala/Isabelle2025-2/src/lsp.scala
src/isabelle_mcp/scala/Isabelle2025-2/src/mcp_main.scala
src/isabelle_mcp/scala/Isabelle2025-2/src/pretty_text_panel.scala
src/isabelle_mcp/scala/Isabelle2025-2/src/preview_panel.scala
src/isabelle_mcp/scala/Isabelle2025-2/src/state_panel.scala
src/isabelle_mcp/scala/Isabelle2025-2/src/vscode_model.scala
src/isabelle_mcp/scala/Isabelle2025-2/src/vscode_rendering.scala
src/isabelle_mcp/scala/Isabelle2025-2/src/vscode_resources.scala
src/isabelle_mcp/scala/Isabelle2025-2/src/vscode_session.scala
src/isabelle_mcp/scala/Isabelle2025-2/src/vscode_sledgehammer.scala
src/isabelle_mcp/scala/Isabelle2025-2/src/vscode_spell_checker.scala
src/isabelle_mcp/tools/__init__.py
src/isabelle_mcp/tools/command_output.py
src/isabelle_mcp/tools/definition.py
src/isabelle_mcp/tools/find_theorems.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_component.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_find_theorems.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