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
Corpus Intelligence Cross-corpus context (cohort percentile, top patterns, fix plan) is shown only on repositories you own. Sign up and connect your repo to view it.
Scan summary Repository scanned at 92.8/100 with 66.7% coverage. It contains 163 nodes across 0 cross-layer flows, written primarily in mixed languages. Engine surfaced 37 findings — concentrated in quality (17), software (16), security (2). Risk profile is high: 0 critical, 1 high, 3 medium. Recommended next step: open the quality layer findings first — that's where the highest-impact wins live.

Showing 25 of 30 actionable findings. 37 raw detector signals were grouped into reader-sized issues. Click TP / FP to vote on a finding's accuracy — votes adjust the confidence weighting and improve detection across the platform.

high System graph security security conf 1.00 Insecure pattern 'exec_used' in Isabelle_RPC_Host/run_python.py:31
Found a known-risky pattern (exec_used). Review and replace if possible.
Isabelle_RPC_Host/run_python.py:31 Exec used
medium System graph security Coverage conf 1.00 No auth library detected
The scanner did not find any standard auth library (JWT, OAuth, NextAuth, Auth0, etc.). The repo has auth/admin/session surface indicators, so auth may live in custom code, in a separate service, or be missing.
auth
medium System graph cicd CI/CD security conf 1.00 No CI/CD pipelines detected
No GitHub Actions, GitLab CI, or CircleCI configs found. Without CI you can't gate deploys on tests/lints.
CI/CD securityCoverage
medium System graph quality Tests conf 1.00 Very low test-to-source ratio
0 test file(s) for 12 source file(s) (ratio 0.00). Consider adding integration or unit tests for critical paths.
Coverage
low System graph quality Production readiness conf 1.00 Composite production-readiness gap
Multiple low-cost hardening controls are missing together: ci, tests. Opus verification showed these co-occurring gaps are a better readiness signal than reading each flag in isolation.
Repo hardeningGenerated repo pattern
low System graph quality Debug conf 1.00 Debug logging residue appears in source files
Found 5 console/debugger/print-style debug statements in non-test source. This is a common fast-generation residue before production cleanup.
CleanupRepo hardeningGenerated repo pattern
low System graph quality Integrity conf 1.00 7 occurrences Near-duplicate function bodies in 2 places
Functions with the same first-5-line body hash: Isabelle_RPC_Host/unicode.py:get_SYMBOLS_AND_REVERSED, Isabelle_RPC_Host/unicode.py:get_SYMBOLS This is *the* AI-coder failure mode (4× more duplication in vibe-coded repos — see https://jw.hn/ai-code-hygiene). Consolidate or document why they're sep…
7 occurrences
repo-level (7 hits)
duplicatesduplication
low System graph quality Integrity conf 1.00 2 occurrences Near-duplicate function bodies in 5 places
Functions with the same first-5-line body hash: Isabelle_RPC_Host/context.py:theorems, Isabelle_RPC_Host/context.py:introduction_rules, Isabelle_RPC_Host/context.py:elimination_rules, Isabelle_RPC_Host/context.py:induction_rules This is *the* AI-coder failure mode (4× more duplication in vibe-code…
2 occurrences
repo-level (2 hits)
duplicatesduplication
low System graph software Dead code conf 1.00 Possibly dead Python function: destruct_key
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/universal_key.py:122
low System graph software Dead code conf 1.00 Possibly dead Python function: end_of_line_offset
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/position.py:267
low System graph software Dead code conf 1.00 Possibly dead Python function: get_REVERSE_SYMBOLS
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/unicode.py:70
low System graph software Dead code conf 1.00 Possibly dead Python function: is_thm_rule_key
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/universal_key.py:92
low System graph software Dead code conf 1.00 Possibly dead Python function: is_WIP
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/universal_key.py:82
low System graph software Dead code conf 1.00 Possibly dead Python function: offset_of
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/position.py:489
low System graph software Dead code conf 1.00 Possibly dead Python function: pack
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/position.py:502
low System graph software Dead code conf 1.00 Possibly dead Python function: replace_subsupscript
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/unicode.py:149
low System graph software Dead code conf 1.00 Possibly dead Python function: replace_symbol
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/unicode.py:145
low System graph software Dead code conf 1.00 Possibly dead Python function: symbol_offsets
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/position.py:252
low System graph software Dead code conf 1.00 Possibly dead Python function: theory_long_name
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/context.py:487
low System graph software Dead code conf 1.00 Possibly dead Python function: to_position
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/position.py:415
low System graph software Dead code conf 1.00 Possibly dead Python function: to_s
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/position.py:429
low System graph software Dead code conf 1.00 Possibly dead Python function: to_unicode_position
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/position.py:512
low System graph software Dead code conf 1.00 Possibly dead Python function: unicode_of_ascii
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/unicode.py:157
low System graph software Dead code conf 1.00 Possibly dead Python function: xor_theory_prefix
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
Isabelle_RPC_Host/universal_key.py:101
low System graph quality Provenance conf 1.00 Shallow git history limits provenance confidence
The repository is a shallow clone. Origin/evolution analysis cannot distinguish fresh generation, imported legacy code, or long-lived human code with high confidence.
Git historyGenerated repo pattern
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.