https://github.com/xqyww123/Isabelle-MCP
· scanned 2026-06-16 01:03 UTC (2 months, 1 week ago)
24 raw signals (0 security + 24 graph)
Last scanned 2 months, 1 week ago · v1 · 23 actionable findings from 1 signal source. 1 repeated signal grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.
All 896 nodes from the latest scan, grouped by kind. Each node is a unit the engine identified (file, function, endpoint, table…). Most users won't need this view — it's primarily for debugging the engine's graph extraction or for AI agents that want to enumerate the project structure.
| Label | Layer | Status | Path |
|---|---|---|---|
lsp_client |
software | healthy | tests/test_integration.py:50 |
test_startup |
software | healthy | tests/test_integration.py:27 |
test_open_document |
software | healthy | tests/test_integration.py:32 |
test_diagnostics_cache |
software | healthy | tests/test_integration.py:39 |
theory_file |
software | healthy | tests/test_integration.py:64 |
test_hover |
software | healthy | tests/test_integration.py:74 |
test_definition |
software | healthy | tests/test_integration.py:81 |
_short_grace |
software | healthy | tests/test_processing.py:26 |
_noop_health_check |
software | healthy | tests/test_processing.py:31 |
test_not_initialized_blocks_line_reached |
software | healthy | tests/test_processing.py:35 |
test_first_push_makes_fresh_without_any_edit |
software | healthy | tests/test_processing.py:41 |
test_unprocessed_range_blocks_line_reached_when_fresh |
software | healthy | tests/test_processing.py:48 |
test_grace_recovers_without_a_push |
software | healthy | tests/test_processing.py:55 |
test_edit_grace_is_global_across_trackers |
software | healthy | tests/test_processing.py:68 |
test_push_inside_grace_does_not_unlock_early_but_is_honored |
software | healthy | tests/test_processing.py:84 |
test_bounded_wait_wakes_when_grace_elapses |
software | healthy | tests/test_processing.py:101 |
test_reset_keeps_global_grace |
software | healthy | tests/test_processing.py:125 |
test_read_grace_env_parsing |
software | healthy | tests/test_processing.py:139 |
test_default_end_of_line |
software | healthy | tests/test_tools_goal.py:12 |
test_with_after_text |
software | healthy | tests/test_tools_goal.py:24 |
test_command_none |
software | healthy | tests/test_tools_goal.py:36 |
test_after_text_not_found |
software | healthy | tests/test_tools_goal.py:44 |
test_invalid_line |
software | healthy | tests/test_tools_goal.py:51 |
_seed_symbol_table |
software | healthy | tests/conftest.py:11 |
temp_theory_file |
software | healthy | tests/conftest.py:24 |
temp_theory_with_errors |
software | healthy | tests/conftest.py:43 |
__init__ |
software | healthy | tests/conftest.py:111 |
range_processed |
software | healthy | tests/conftest.py:64 |
line_reached |
software | healthy | tests/conftest.py:67 |
line_running |
software | healthy | tests/conftest.py:70 |
all_processed |
software | healthy | tests/conftest.py:74 |
get_running_ranges |
software | healthy | tests/conftest.py:77 |
get_running_ranges_with_onset |
software | healthy | tests/conftest.py:80 |
get_unprocessed_ranges |
software | healthy | tests/conftest.py:83 |
get_bad_ranges |
software | healthy | tests/conftest.py:86 |
get_overview_error_ranges |
software | healthy | tests/conftest.py:89 |
get_overview_warning_ranges |
software | healthy | tests/conftest.py:92 |
wait_until_processed_bounded |
software | healthy | tests/conftest.py:95 |
_check_server_health |
software | healthy | tests/conftest.py:108 |
start |
software | healthy | tests/conftest.py:132 |
shutdown |
software | healthy | tests/conftest.py:135 |
open_document |
software | healthy | tests/conftest.py:141 |
set_caret |
software | healthy | tests/conftest.py:162 |
wait_for_processing |
software | healthy | tests/conftest.py:167 |
wait_for_processing_bounded |
software | healthy | tests/conftest.py:172 |
force_interrupt |
software | healthy | tests/conftest.py:177 |
request_theory_status |
software | healthy | tests/conftest.py:180 |
cancel_execution |
software | healthy | tests/conftest.py:202 |
get_all_running_commands |
software | healthy | tests/conftest.py:205 |
file_all_processed |
software | healthy | tests/conftest.py:208 |
Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.
| Label | Layer | Status | Path |
|---|---|---|---|
TestLSPClientIntegration |
software | healthy | tests/test_integration.py:11 |
TestToolsIntegration |
software | healthy | tests/test_integration.py:48 |
TestGoalTool |
software | healthy | tests/test_tools_goal.py:10 |
MockProcessingTracker |
software | healthy | tests/conftest.py:58 |
MockLSPClient |
software | healthy | tests/conftest.py:102 |
_FakeWatch |
software | healthy | tests/test_file_watcher.py:20 |
_FakeObserver |
software | healthy | tests/test_file_watcher.py:25 |
TestDispatch |
software | healthy | tests/test_file_watcher.py:47 |
TestWatchSet |
software | healthy | tests/test_file_watcher.py:87 |
TestRealInotify |
software | healthy | tests/test_file_watcher.py:129 |
TestCommandOutputTool |
software | healthy | tests/test_tools_command_output.py:12 |
TestFormatCommandOutput |
software | healthy | tests/test_tools_command_output.py:64 |
TestTokenize |
software | healthy | tests/test_isabelle_tokens.py:12 |
TestFindSymbolOccurrences |
software | healthy | tests/test_isabelle_tokens.py:117 |
TestFindAfterTextCaret |
software | healthy | tests/test_isabelle_tokens.py:187 |
TestParseBuildSources |
software | healthy | tests/test_heap_sources.py:45 |
TestParseUnfinishedSessions |
software | healthy | tests/test_heap_sources.py:71 |
TestEnumerateHeapSources |
software | healthy | tests/test_heap_sources.py:87 |
TestHeapWarning |
software | healthy | tests/test_heap_sources.py:144 |
TestEvaluateHeapFile |
software | healthy | tests/test_heap_sources.py:165 |
TestErrors |
software | healthy | tests/test_utils.py:27 |
TestURIUtils |
software | healthy | tests/test_utils.py:58 |
TestPositions |
software | healthy | tests/test_utils.py:89 |
TestFormatters |
software | healthy | tests/test_utils.py:117 |
TestGetLineFromFile |
software | healthy | tests/test_utils.py:255 |
TestSanitizeRead |
software | healthy | tests/test_unicode_guard.py:40 |
TestReplaceIfUnchanged |
software | healthy | tests/test_unicode_guard.py:183 |
TestPushPathsConvert |
software | healthy | tests/test_unicode_guard.py:216 |
TestUnicodeWarningMiddleware |
software | healthy | tests/test_unicode_guard.py:266 |
TestSessionTool |
software | healthy | tests/test_tools_session.py:6 |
TestLocalOccurrencesTool |
software | healthy | tests/test_tools_local_occurrences.py:7 |
TestMCPServerTools |
software | healthy | tests/test_server.py:26 |
TestServerLifespan |
software | healthy | tests/test_server.py:105 |
TestHookRetirement |
software | healthy | tests/test_server.py:160 |
TestServerMain |
software | healthy | tests/test_server.py:177 |
TestSessionManagement |
software | healthy | tests/test_server.py:251 |
TestHoverTool |
software | healthy | tests/test_tools_hover.py:7 |
TestInvalidInput |
software | healthy | tests/test_edge_cases.py:15 |
TestModelValidation |
software | healthy | tests/test_edge_cases.py:37 |
TestConcurrency |
software | healthy | tests/test_edge_cases.py:60 |
TestEvaluationGuard |
software | healthy | tests/test_edge_cases.py:82 |
TestUnicodeHandling |
software | healthy | tests/test_edge_cases.py:90 |
TestEmptyResponses |
software | healthy | tests/test_edge_cases.py:109 |
TestLargeData |
software | healthy | tests/test_edge_cases.py:125 |
TestDefinitionTool |
software | healthy | tests/test_tools_definition.py:8 |
RecordingRun |
software | healthy | tests/test_install.py:22 |
TestFindServerCommand |
software | healthy | tests/test_install.py:45 |
TestPatchCheck |
software | healthy | tests/test_install.py:58 |
TestMain |
software | healthy | tests/test_install.py:109 |
TestMainNoServer |
software | healthy | tests/test_install.py:185 |
Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.
| Label | Layer | Status | Path |
|---|---|---|---|
README.md |
software | healthy | README.md |
CONTRIBUTING.md |
software | healthy | CONTRIBUTING.md |
pyproject.toml |
software | healthy | pyproject.toml |
LICENSE |
software | healthy | LICENSE |
AGENTS.md |
software | healthy | AGENTS.md |
CHANGELOG.md |
software | healthy | CHANGELOG.md |
test_integration.py |
software | healthy | tests/test_integration.py |
test_processing.py |
software | healthy | tests/test_processing.py |
__init__.py |
software | healthy | tests/__init__.py |
test_tools_goal.py |
software | healthy | tests/test_tools_goal.py |
conftest.py |
software | healthy | tests/conftest.py |
README.md |
software | healthy | tests/README.md |
test_file_watcher.py |
software | healthy | tests/test_file_watcher.py |
test_tools_command_output.py |
software | healthy | tests/test_tools_command_output.py |
test_isabelle_tokens.py |
software | healthy | tests/test_isabelle_tokens.py |
test_heap_sources.py |
software | healthy | tests/test_heap_sources.py |
test_utils.py |
software | healthy | tests/test_utils.py |
test_unicode_guard.py |
software | healthy | tests/test_unicode_guard.py |
test_tools_session.py |
software | healthy | tests/test_tools_session.py |
test_tools_local_occurrences.py |
software | healthy | tests/test_tools_local_occurrences.py |
test_server.py |
software | healthy | tests/test_server.py |
test_tools_hover.py |
software | healthy | tests/test_tools_hover.py |
test_edge_cases.py |
software | healthy | tests/test_edge_cases.py |
test_tools_definition.py |
software | healthy | tests/test_tools_definition.py |
test_install.py |
software | healthy | tests/test_install.py |
test_tools_evaluate.py |
software | healthy | tests/test_tools_evaluate.py |
test_lsp_client.py |
software | healthy | tests/test_lsp_client.py |
__init__.py |
software | healthy | tests/integration/__init__.py |
test_file_sync_e2e.py |
software | healthy | tests/integration/test_file_sync_e2e.py |
API_DESIGN.md |
software | healthy | docs/API_DESIGN.md |
ARCHITECTURE.md |
software | healthy | docs/ARCHITECTURE.md |
SPECIFICATION.md |
software | healthy | docs/SPECIFICATION.md |
TECH_NOTE.md |
software | healthy | docs/TECH_NOTE.md |
install.sh |
software | healthy | scripts/install.sh |
README.md |
software | healthy | .claude/README.md |
mcp.json |
software | healthy | .claude/mcp.json |
usage_example.py |
software | healthy | examples/usage_example.py |
README.md |
software | healthy | examples/README.md |
mcp_config.json |
software | healthy | examples/mcp_config.json |
unicode_guard.py |
software | healthy | src/isabelle_mcp/unicode_guard.py |
processing.py |
software | healthy | src/isabelle_mcp/processing.py |
file_watcher.py |
software | healthy | src/isabelle_mcp/file_watcher.py |
install.py |
software | healthy | src/isabelle_mcp/install.py |
__init__.py |
software | healthy | src/isabelle_mcp/__init__.py |
instructions.py |
software | healthy | src/isabelle_mcp/instructions.py |
lsp_client.py |
software | healthy | src/isabelle_mcp/lsp_client.py |
models.py |
software | healthy | src/isabelle_mcp/models.py |
server.py |
software | healthy | src/isabelle_mcp/server.py |
evaluation.py |
software | healthy | src/isabelle_mcp/evaluation.py |
isabelle_tokens.py |
software | healthy | src/isabelle_mcp/utils/isabelle_tokens.py |
Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.
| Label | Layer | Status | Path |
|---|---|---|---|
tests |
software | healthy | tests |
integration |
software | healthy | tests/integration |
docs |
software | healthy | docs |
scripts |
software | healthy | scripts |
.claude |
software | healthy | .claude |
examples |
software | healthy | examples |
src |
software | healthy | src |
isabelle_mcp |
software | healthy | src/isabelle_mcp |
utils |
software | healthy | src/isabelle_mcp/utils |
tools |
software | healthy | src/isabelle_mcp/tools |
| Label | Layer | Status | Path |
|---|---|---|---|
repobility-clone-9waw_61b |
software | healthy | /tmp/repobility-clone-9waw_61b |
This page is publicly accessible at:
https://repobility.com/scan/7ad0c381-1ec5-4277-a990-39d892a74d35/
To check status programmatically (no auth required):
curl -s https://repobility.com/api/v1/public/scan/7ad0c381-1ec5-4277-a990-39d892a74d35/Important — please don't re-submit the same URL repeatedly. The submission endpoint is idempotent: re-submitting the same git URL returns this same scan_token, not a new one. To re-scan this repo, sign up free and use the dashboard.