Public scan — anyone with this URL can view this analysis. Sign up to track your own repos privately, run scheduled re-scans, and get AI fix prompts via your dashboard.
Sign up free Scan another repo

xqyww123/Isabelle_RPC

https://github.com/xqyww123/Isabelle_RPC · scanned 2026-06-16 01:03 UTC (2 months, 1 week ago)

37 raw signals (0 security + 37 graph)

File as issue Image
UNIFIED Repobility · multi-layer engine · AI coders

Complete repo analysis

Last scanned 2 months, 1 week ago · v1 · 30 actionable findings from 1 signal source. 7 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.

JSON
Combined
92.8
/100
Security checks
93
0 findings
System graph
93
66.7% cov · 30 findings
Critical
0
click to filter
Agents
10
0 votes
Crowd
0
reported
Severity distribution — click a segment to filter
Active filters: excluding tests × Reset all
Severity: Critical 0 High 1 Medium 3 Low 21 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 0 System graph 30 Crowd 0 Layer: Software 16 Frontend 1 Security 2 Cicd 1 Quality 10

All 163 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.

LabelLayerStatusPath
main software healthy list_theory_hash.py:32
label software healthy Isabelle_RPC_Host/universal_key.py:24
from_label software healthy Isabelle_RPC_Host/universal_key.py:28
theorem_sibling_key software healthy Isabelle_RPC_Host/universal_key.py:71
is_WIP software dead Isabelle_RPC_Host/universal_key.py:82
is_thm_rule_key software dead Isabelle_RPC_Host/universal_key.py:92
xor_theory_prefix software dead Isabelle_RPC_Host/universal_key.py:101
destruct_key software dead Isabelle_RPC_Host/universal_key.py:122
__init__ software healthy Isabelle_RPC_Host/universal_key.py:151
universal_key_and_name_of software healthy Isabelle_RPC_Host/universal_key.py:157
universal_key_of software dead Isabelle_RPC_Host/universal_key.py:177
_dialogue software healthy Isabelle_RPC_Host/dialogue.py:16
_mk_pos software healthy Isabelle_RPC_Host/context.py:50
_call software healthy Isabelle_RPC_Host/context.py:57
_is_default software healthy Isabelle_RPC_Host/context.py:81
_cached_or_call software healthy Isabelle_RPC_Host/context.py:94
_call_thm software healthy Isabelle_RPC_Host/context.py:119
_cached_or_call_thm software healthy Isabelle_RPC_Host/context.py:146
constants software dead Isabelle_RPC_Host/context.py:175
theorems software dead Isabelle_RPC_Host/context.py:192
types software dead Isabelle_RPC_Host/context.py:210
classes software dead Isabelle_RPC_Host/context.py:226
locales software dead Isabelle_RPC_Host/context.py:242
theorem_collection software dead Isabelle_RPC_Host/context.py:258
methods software dead Isabelle_RPC_Host/context.py:275
introduction_rules software dead Isabelle_RPC_Host/context.py:291
elimination_rules software dead Isabelle_RPC_Host/context.py:309
induction_rules software dead Isabelle_RPC_Host/context.py:326
case_split_rules software dead Isabelle_RPC_Host/context.py:346
entities_of software dead Isabelle_RPC_Host/context.py:380
theory_long_name software dead Isabelle_RPC_Host/context.py:487
_load_symbols software healthy Isabelle_RPC_Host/unicode.py:5
get_SYMBOLS_AND_REVERSED software healthy Isabelle_RPC_Host/unicode.py:55
get_SYMBOLS software healthy Isabelle_RPC_Host/unicode.py:67
get_REVERSE_SYMBOLS software dead Isabelle_RPC_Host/unicode.py:70
pretty_unicode software healthy Isabelle_RPC_Host/unicode.py:137
replace_symbol software dead Isabelle_RPC_Host/unicode.py:145
replace_subsupscript software dead Isabelle_RPC_Host/unicode.py:149
unicode_of_ascii software dead Isabelle_RPC_Host/unicode.py:157
ascii_of_unicode software healthy Isabelle_RPC_Host/unicode.py:160
_run_python software healthy Isabelle_RPC_Host/run_python.py:23
_is_letter software healthy Isabelle_RPC_Host/tokens.py:34
_is_digit software healthy Isabelle_RPC_Host/tokens.py:40
_is_letdig software healthy Isabelle_RPC_Host/tokens.py:44
_is_blank software healthy Isabelle_RPC_Host/tokens.py:52
_is_sub software healthy Isabelle_RPC_Host/tokens.py:56
_scan_ident_tail software healthy Isabelle_RPC_Host/tokens.py:60
tokenize_isabelle_line software healthy Isabelle_RPC_Host/tokens.py:75
find_symbol_token_indices software healthy Isabelle_RPC_Host/tokens.py:169
symbol_explode software healthy Isabelle_RPC_Host/position.py:15

Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.

LabelLayerStatusPath
launcher.py software healthy launcher.py
README.md software healthy README.md
pyproject.toml software healthy pyproject.toml
LICENSE software healthy LICENSE
list_theory_hash.py software healthy list_theory_hash.py
README.md software healthy contrib/mlmsgpack/README.md
LICENSE software healthy contrib/mlmsgpack/LICENSE
__init__.py software healthy Isabelle_RPC_Host/__init__.py
universal_key.py software healthy Isabelle_RPC_Host/universal_key.py
dialogue.py software healthy Isabelle_RPC_Host/dialogue.py
context.py software healthy Isabelle_RPC_Host/context.py
unicode.py software healthy Isabelle_RPC_Host/unicode.py
run_python.py software healthy Isabelle_RPC_Host/run_python.py
tokens.py software healthy Isabelle_RPC_Host/tokens.py
position.py software healthy Isabelle_RPC_Host/position.py
theory_hash.py software healthy Isabelle_RPC_Host/theory_hash.py
rpc.py software healthy Isabelle_RPC_Host/rpc.py

LabelLayerStatusPath
EntityKind software healthy Isabelle_RPC_Host/universal_key.py:9
Entity software healthy Isabelle_RPC_Host/universal_key.py:76
UndefinedEntity software healthy Isabelle_RPC_Host/universal_key.py:149
FileIndex software healthy Isabelle_RPC_Host/position.py:66
_CacheInvalidator software healthy Isabelle_RPC_Host/position.py:288
IsabellePosition software healthy Isabelle_RPC_Host/position.py:336
Position software healthy Isabelle_RPC_Host/position.py:423
AsciiPosition software healthy Isabelle_RPC_Host/position.py:506
UnicodePosition software healthy Isabelle_RPC_Host/position.py:518
ColorFormatter software healthy Isabelle_RPC_Host/rpc.py:19
IsabelleError software healthy Isabelle_RPC_Host/rpc.py:37
Connection software healthy Isabelle_RPC_Host/rpc.py:45
LogType software healthy Isabelle_RPC_Host/rpc.py:183
Server software healthy Isabelle_RPC_Host/rpc.py:226

LabelLayerStatusPath
contrib software healthy contrib
mlmsgpack software healthy contrib/mlmsgpack
Isabelle_RPC_Host software healthy Isabelle_RPC_Host

LabelLayerStatusPath
repobility-clone-m9seif2h software healthy /tmp/repobility-clone-m9seif2h

LabelLayerStatusPath
127.0.0.1 network healthy launcher.py
For AI agents: Voting guide (TP/FP) MCP manifest Stdio wrapper SARIF Integrate Findings queue Vote TP/FP on findings to calibrate the engine.
For AI agents + API integrations
Email me when this repo regresses
Free. We re-scan periodically; new criticals → your inbox. No signup required for the scan itself.
API access

This page is publicly accessible at: https://repobility.com/scan/99802154-5bae-4502-8b12-81a538daa936/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/99802154-5bae-4502-8b12-81a538daa936/

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.