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/my_better_isabelle_prover

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

16 raw signals (0 security + 16 graph)

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

Complete repo analysis

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

JSON
Combined
75.1
/100
Security checks
75
0 findings
System graph
75
55.6% cov · 16 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 0 Medium 6 Low 8 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 0 System graph 16 Crowd 0 Layer: Software 5 Frontend 1 Security 1 Cicd 1 Quality 8

All 45 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
resolve_isabelle_bin software healthy my_better_isabelle_prover/isabelle.py:12
get_version software healthy my_better_isabelle_prover/isabelle.py:30
get_home software healthy my_better_isabelle_prover/isabelle.py:42
scala_build software healthy my_better_isabelle_prover/isabelle.py:58
_resolve software healthy my_better_isabelle_prover/cli.py:12
cmd_patch software dead my_better_isabelle_prover/cli.py:47
cmd_unpatch software dead my_better_isabelle_prover/cli.py:57
cmd_status software dead my_better_isabelle_prover/cli.py:67
cmd_build software dead my_better_isabelle_prover/cli.py:75
cmd_help software dead my_better_isabelle_prover/cli.py:81
main software healthy my_better_isabelle_prover/cli.py:87
_ensure_patch_binary software healthy my_better_isabelle_prover/patcher.py:22
check_status software healthy my_better_isabelle_prover/patcher.py:28
_make_writable software healthy my_better_isabelle_prover/patcher.py:45
_restore_mode software healthy my_better_isabelle_prover/patcher.py:54
apply_patch software healthy my_better_isabelle_prover/patcher.py:59
apply_all software healthy my_better_isabelle_prover/patcher.py:108
print_status software healthy my_better_isabelle_prover/patcher.py:131
available_versions software healthy my_better_isabelle_prover/patches/__init__.py:16
available_features software healthy my_better_isabelle_prover/patches/__init__.py:23
read_order software healthy my_better_isabelle_prover/patches/__init__.py:30
ordered_features software healthy my_better_isabelle_prover/patches/__init__.py:44
discover_patches software healthy my_better_isabelle_prover/patches/__init__.py:54
_read_patch_target software healthy my_better_isabelle_prover/patches/__init__.py:75

LabelLayerStatusPath
README.md software healthy README.md
reference.md software healthy reference.md
pyproject.toml software healthy pyproject.toml
LICENSE software healthy LICENSE
develop.md software healthy develop.md
AGENTS.md software healthy AGENTS.md
__init__.py software healthy my_better_isabelle_prover/__init__.py
isabelle.py software healthy my_better_isabelle_prover/isabelle.py
cli.py software healthy my_better_isabelle_prover/cli.py
patcher.py software healthy my_better_isabelle_prover/patcher.py
__main__.py software healthy my_better_isabelle_prover/__main__.py
__init__.py software healthy my_better_isabelle_prover/patches/__init__.py
pide_control.md software healthy my_better_isabelle_prover/patches/pide_control.md
register_thy.md software healthy my_better_isabelle_prover/patches/Isabelle2025-2/register_t…
AGENTS.md quality healthy AGENTS.md

LabelLayerStatusPath
my_better_isabelle_prover software healthy my_better_isabelle_prover
patches software healthy my_better_isabelle_prover/patches
Isabelle2025-2 software healthy my_better_isabelle_prover/patches/Isabelle2025-2

LabelLayerStatusPath
PatchStatus software healthy my_better_isabelle_prover/patcher.py:16
PatchInfo software healthy my_better_isabelle_prover/patches/__init__.py:10

LabelLayerStatusPath
repobility-clone-e8_x0mg_ software healthy /tmp/repobility-clone-e8_x0mg_
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/0612545b-7a51-4d54-8666-82defe3abf04/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/0612545b-7a51-4d54-8666-82defe3abf04/

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.