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

Top 10 actions, ranked by impact × ease. Severity drives impact; tag-based fix-clarity drives ease.

#1
Insecure pattern 'exec_used' in Isabelle_RPC_Host/run_python.py:31
GapSeverity.HIGH Layer.SECURITY score 0.413
Why: high severity · OWASP-class risk
Isabelle_RPC_Host/run_python.py:31
#2
No auth library detected
GapSeverity.MEDIUM Layer.SECURITY score 0.338
Why: medium severity
#3
No CI/CD pipelines detected
GapSeverity.MEDIUM Layer.CICD score 0.225
Why: medium severity
#4
Very low test-to-source ratio
GapSeverity.MEDIUM Layer.QUALITY score 0.225
Why: medium severity
#5
Possibly dead Python function: is_WIP
GapSeverity.LOW Layer.SOFTWARE score 0.140
Why: low severity · clean removal is a safe PR
Fix: If genuinely unused, remove the function in Isabelle_RPC_Host/universal_key.py:82; if framework-registered, add a docstring.
Isabelle_RPC_Host/universal_key.py:82
#6
Possibly dead Python function: is_thm_rule_key
GapSeverity.LOW Layer.SOFTWARE score 0.140
Why: low severity · clean removal is a safe PR
Fix: If genuinely unused, remove the function in Isabelle_RPC_Host/universal_key.py:92; if framework-registered, add a docstring.
Isabelle_RPC_Host/universal_key.py:92
#7
Possibly dead Python function: xor_theory_prefix
GapSeverity.LOW Layer.SOFTWARE score 0.140
Why: low severity · clean removal is a safe PR
Fix: If genuinely unused, remove the function in Isabelle_RPC_Host/universal_key.py:101; if framework-registered, add a docstring.
Isabelle_RPC_Host/universal_key.py:101
#8
Possibly dead Python function: destruct_key
GapSeverity.LOW Layer.SOFTWARE score 0.140
Why: low severity · clean removal is a safe PR
Fix: If genuinely unused, remove the function in Isabelle_RPC_Host/universal_key.py:122; if framework-registered, add a docstring.
Isabelle_RPC_Host/universal_key.py:122
#9
Possibly dead Python function: theory_long_name
GapSeverity.LOW Layer.SOFTWARE score 0.140
Why: low severity · clean removal is a safe PR
Fix: If genuinely unused, remove the function in Isabelle_RPC_Host/context.py:487; if framework-registered, add a docstring.
Isabelle_RPC_Host/context.py:487
#10
Possibly dead Python function: get_REVERSE_SYMBOLS
GapSeverity.LOW Layer.SOFTWARE score 0.140
Why: low severity · clean removal is a safe PR
Fix: If genuinely unused, remove the function in Isabelle_RPC_Host/unicode.py:70; if framework-registered, add a docstring.
Isabelle_RPC_Host/unicode.py:70

Click "Find this gap" on any action above to jump to it on the Findings tab. Adjust the chip bar to filter by impact (severity), layer, or source.

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.