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
29 of your 54 findings came from Repobility's proprietary detections. ✓ Repobility tags below mark them.

Scan timing: clone 22.68s · analysis 8.71s · 51.5 MB · GitHub API rate-limit (preflight)

LeanBitLab/LeanType

https://github.com/LeanBitLab/LeanType · scanned 2026-06-05 16:47 UTC (5 days ago) · 10 languages

88 raw signals (50 security + 38 graph) 11/13 scanners ran 50th percentile · Kotlin · large (100-500K LoC) System graph score 88 (lower by 16)

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

Complete repo analysis

Last scanned 5 days ago · v2 · 36 actionable findings from 2 signal sources. 33 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.

JSON
Combined
83.6
/100
Security checks
79
22 findings
System graph
88
66.7% cov · 14 findings
Critical
0
click to filter
Agents
6
0 votes
Crowd
0
reported
Score breakdown â 2026-05-18-v5
Component Sub-score Weight Contribution
structure_score 65.0 0.15 9.75
security_score 100.0 0.25 25.00
testing_score 26.0 0.20 5.20
documentation_score 83.0 0.15 12.45
practices_score 75.0 0.15 11.25
code_quality 80.0 0.10 8.00
Overall 1.00 71.7
security_score may be inflated — optional security scanners were skipped on this fast scan
Severity distribution — click a segment to filter
Active filters: excluding tests × Reset all
Severity: Critical 0 High 4 Medium 5 Low 10 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 22 System graph 14 Crowd 0 Layer: Quality 26 Software 4 Cicd 3 Api 1 Frontend 1 Security 1

Last 2 scans of this repo. Each new scan persists a full payload — historical comparison is exact, not lossy.

v1
Jun 05 16:47
v2
Jun 05 16:47
Diff: previous → latest scan
Score Δ
0.00
Gaps added
0
Gaps resolved
0
Edges changed
+0 / -0
v#IDStatusScoreGapsNodesCommitStarted
v scan_6076bc16c9bb ok 88.2 19 852 85a5c6e Jun 05 16:47
v scan_594569269194 ok 88.2 19 852 85a5c6e Jun 05 16:47
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/fe9623ea-3456-4547-b271-9aab44bf89ca/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/fe9623ea-3456-4547-b271-9aab44bf89ca/

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.