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 (4 days, 23 hours 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 4 days, 23 hours 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
Scan summary Quality grade B (72/100). Dimensions: security 100, maintainability 65. 50 findings (12 security). 109,546 lines analyzed.

Showing 19 of 36 actionable findings. 69 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 Security checks quality Quality conf 1.00 ✓ Repobility [MINED107] Missing import: `locale` used but not imported: The file uses `locale.something(...)` but never imports `locale`. This raises NameError at runtime the first time the line executes.
Add `import locale` at the top of the file.
tools/release.py:101
high Security checks quality Quality conf 1.00 ✓ Repobility 3 occurrences [MINED029] Kotlin Null Bang: x!! throws NullPointerException if x is null. Bypasses Kotlins null safety.
Review and fix per the pattern semantics. See CWE-476 / for context.
3 files, 3 locations
app/src/main/java/helium314/keyboard/accessibility/AccessibilityUtils.kt:198
app/src/main/java/helium314/keyboard/accessibility/KeyCodeDescriptionMapper.kt:174
app/src/main/java/helium314/keyboard/keyboard/clipboard/ClipboardHistoryRecyclerView.kt:129
high Security checks software dependencies conf 0.90 ✓ Repobility [MINED134] Binary file `gradle/wrapper/gradle-wrapper.jar` committed in source repo: `gradle/wrapper/gradle-wrapper.jar` is a .jar binary (43,583 bytes) committed to a repo that otherwise has 619 source files. Trojan binaries inside otherwise-normal source repos are a known supply-chain attack: a compromised dependency or PR slips in a binary that gets executed by build scripts.
Audit the binary's provenance. If it's vendored library code, document it in a VENDORED.md. If it's a build artifact, add the extension to .gitignore and rebuild from source.
gradle/wrapper/gradle-wrapper.jar:1
high Security checks software dependencies conf 0.90 ✓ Repobility [MINED134] Binary file `tools/__pycache__/release.cpython-313.pyc` committed in source repo: `tools/__pycache__/release.cpython-313.pyc` is a .pyc binary (7,737 bytes) committed to a repo that otherwise has 619 source files. Trojan binaries inside otherwise-normal source repos are a known supply-chain attack: a compromised dependency or PR slips in a binary that gets executed by build scripts.
Audit the binary's provenance. If it's vendored library code, document it in a VENDORED.md. If it's a build artifact, add the extension to .gitignore and rebuild from source.
tools/__pycache__/release.cpython-313.pyc:1
low Security checks cicd CI/CD security conf 0.90 ✓ Repobility 13 occurrences GitHub Action is tag-pinned rather than SHA-pinned
[MINED115] Action `actions/checkout` pinned to mutable ref `@v4`: `uses: actions/checkout@v4` resolves at workflow-run time. Tags and branches can be re-pushed by the action owner; that made the tj-actions/changed-files compromise (2025) instantly affect ~23K repos. Pin to a 40-char commit SHA + lo…
3 files, 13 locations
.github/workflows/build-debug-apk.yml:12, 15, 29, 35 (7 hits)
.github/workflows/build-test-auto.yml:22, 25, 39 (5 hits)
.github/workflows/update-badges.yml:15
CI/CD securitySupply chainGitHub Actions
medium Security checks cicd CI/CD security conf 0.90 ✓ Repobility 2 occurrences GitHub Action is tag-pinned rather than SHA-pinned
[MINED115] Action `gradle/actions/setup-gradle` pinned to mutable ref `@v3`: `uses: gradle/actions/setup-gradle@v3` resolves at workflow-run time. Tags and branches can be re-pushed by the action owner; that made the tj-actions/changed-files compromise (2025) instantly affect ~23K repos. Pin to a 4…
2 files, 2 locations
.github/workflows/build-debug-apk.yml:19
.github/workflows/build-test-auto.yml:29
CI/CD securitySupply chainGitHub Actions
low Security checks quality Error handling conf 0.55 ✓ Repobility Broad exception handler needs review
This handler catches Exception/BaseException. It is actionable when it swallows errors without logging, re-raising, or returning a structured error. Handlers that intentionally convert exceptions into typed error results should not be treated as high risk.
tools/diacritics.py:61 Error handlingquality
medium System graph cicd CI/CD security conf 1.00 GitHub Actions workflow grants broad write permissions
CI tokens with write permissions increase blast radius when an action, dependency, or PR workflow is compromised. Prefer job-level least-privilege permissions.
.github/workflows/update-badges.yml CI/CD securitySupply chainGithub actions
medium System graph quality Integrity conf 1.00 Network/subprocess call without timeout or try/except — tools/release.py:12
`subprocess.run(...)` here lacks both a `timeout=` arg and an enclosing try/except. This is exactly the class of bug that took down our git-clone earlier (HTTP/2 stream cancel surfaced as a fatal). Add a `timeout=` and wrap in try/except, or use a wrapper that retries.
runtime safetyRobustness
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.). Either auth lives in custom code, in a separate service, or is missing.
auth
medium System graph quality Tests conf 1.00 Very low test-to-source ratio
0 test file(s) for 3 source file(s) (ratio 0.00). Consider adding integration or unit tests for critical paths.
Coverage
low Security checks quality Quality conf 0.60 11 occurrences Duplicated implementation block across source files
Duplicate implementation blocks are maintenance debt. Keep them visible, but they are not a high-severity defect unless the duplicated logic is security-sensitive or drifting.
11 files, 11 locations
app/src/main/java/helium314/keyboard/keyboard/emoji/EmojiPageKeyboardView.java:118
app/src/main/java/helium314/keyboard/settings/dialogs/MultiListPickerDialog.kt:43
app/src/main/java/helium314/keyboard/settings/preferences/LoadGestureLibPreference.kt:109
app/src/main/jni/com_android_inputmethod_latin_BinaryDictionaryUtils.cpp:9
app/src/main/jni/src/dictionary/structure/v2/patricia_trie_policy.cpp:362
app/src/main/jni/src/dictionary/structure/v2/patricia_trie_policy.h:17
app/src/main/jni/src/dictionary/structure/v4/content/shortcut_dict_content.cpp:2
app/src/main/jni/src/dictionary/structure/v4/content/shortcut_dict_content.h:7
duplicationquality
low System graph quality Maintenance conf 1.00 193 TODO/FIXME markers
High count of TODO/FIXME/HACK markers — track them as issues so they're not forgotten.
low System graph software Dead code candidate conf 1.00 File has no detected symbols: tools/make-emoji-keys/convert_new_emojis.py
Source file with no class/function declarations — possible config, dead code, or scratch file.
low System graph quality Complexity conf 1.00 Very large file: app/src/main/java/helium314/keyboard/keyboard/Key.java (1405 lines)
Files with >800 lines often hide complexity hotspots and discourage tests.
low System graph quality Complexity conf 1.00 Very large file: app/src/main/java/helium314/keyboard/keyboard/PointerTracker.java (1488 lines)
Files with >800 lines often hide complexity hotspots and discourage tests.
low System graph quality Complexity conf 1.00 Very large file: app/src/main/java/helium314/keyboard/latin/inputlogic/InputLogic.java (3536 lines)
Files with >800 lines often hide complexity hotspots and discourage tests.
low System graph quality Complexity conf 1.00 Very large file: app/src/main/java/helium314/keyboard/latin/LatinIME.java (2028 lines)
Files with >800 lines often hide complexity hotspots and discourage tests.
low System graph quality Complexity conf 1.00 Very large file: app/src/main/java/helium314/keyboard/latin/RichInputConnection.java (1439 lines)
Files with >800 lines often hide complexity hotspots and discourage tests.
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.