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.
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)

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

All 852 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
README.md software healthy README.md
CONTRIBUTING.md software healthy CONTRIBUTING.md
layouts.md software healthy layouts.md
build.gradle.kts software healthy build.gradle.kts
FEATURES.md software healthy docs/FEATURES.md
build.gradle.kts software healthy app/build.gradle.kts
ProofreadHelper.kt software healthy app/src/offline/java/helium314/keyboard/latin/utils/Proofre…
ProofreadService.kt software healthy app/src/offline/java/helium314/keyboard/latin/utils/Proofre…
T5Tokenizer.kt software healthy app/src/offline/java/helium314/keyboard/latin/utils/T5Token…
KeyboardParserTest.kt software healthy app/src/test/java/helium314/keyboard/KeyboardParserTest.kt
KeySpecParserTest.kt software healthy app/src/test/java/helium314/keyboard/KeySpecParserTest.kt
LayoutTest.kt software healthy app/src/test/java/helium314/keyboard/LayoutTest.kt
XLinkTest.kt software healthy app/src/test/java/helium314/keyboard/XLinkTest.kt
Shadows.kt software healthy app/src/test/java/helium314/keyboard/Shadows.kt
SubtypeTest.kt software healthy app/src/test/java/helium314/keyboard/SubtypeTest.kt
SettingsContainerTest.kt software healthy app/src/test/java/helium314/keyboard/settings/SettingsConta…
MiscTest.kt software healthy app/src/test/java/helium314/keyboard/settings/MiscTest.kt
ScriptUtilsTest.kt software healthy app/src/test/java/helium314/keyboard/latin/ScriptUtilsTest.…
InputLogicTest.kt software healthy app/src/test/java/helium314/keyboard/latin/InputLogicTest.kt
LocaleUtilsTest.kt software healthy app/src/test/java/helium314/keyboard/latin/LocaleUtilsTest.…
WordComposerTest.java software healthy app/src/test/java/helium314/keyboard/latin/WordComposerTest…
StringUtilsTest.kt software healthy app/src/test/java/helium314/keyboard/latin/StringUtilsTest.…
DictionaryGroupTest.kt software healthy app/src/test/java/helium314/keyboard/latin/DictionaryGroupT…
SuggestTest.kt software healthy app/src/test/java/helium314/keyboard/latin/SuggestTest.kt
DictionaryInfoUtilsTest.kt software healthy app/src/test/java/helium314/keyboard/latin/utils/Dictionary…
ChecksumCalculatorTest.kt software healthy app/src/test/java/helium314/keyboard/latin/utils/ChecksumCa…
SpacedTokensTest.kt software healthy app/src/test/java/helium314/keyboard/latin/utils/SpacedToke…
ColorUtilTest.kt software healthy app/src/test/java/helium314/keyboard/latin/utils/ColorUtilT…
JsonUtilsTest.kt software healthy app/src/test/java/helium314/keyboard/latin/utils/JsonUtilsT…
ProofreadHelper.kt software healthy app/src/standard/java/helium314/keyboard/latin/utils/Proofr…
ProofreadService.kt software healthy app/src/standard/java/helium314/keyboard/latin/utils/Proofr…
ProofreadHelper.kt software healthy app/src/offlinelite/java/helium314/keyboard/latin/utils/Pro…
ProofreadService.kt software healthy app/src/offlinelite/java/helium314/keyboard/latin/utils/Pro…
khipro-mappings.json software healthy app/src/main/assets/khipro-mappings.json
number.json software healthy app/src/main/assets/layouts/number/number.json
number_row.json software healthy app/src/main/assets/layouts/number_row/number_row.json
numpad.json software healthy app/src/main/assets/layouts/numpad/numpad.json
clip_bottom_row_with_action.json software healthy app/src/main/assets/layouts/clipboard_bottom/clip_bottom_ro…
clip_bottom_row.json software healthy app/src/main/assets/layouts/clipboard_bottom/clip_bottom_ro…
phone_symbols.json software healthy app/src/main/assets/layouts/phone_symbols/phone_symbols.json
emoji_bottom_row_with_action.json software healthy app/src/main/assets/layouts/emoji_bottom/emoji_bottom_row_w…
emoji_bottom_row.json software healthy app/src/main/assets/layouts/emoji_bottom/emoji_bottom_row.j…
pcqwerty.json software healthy app/src/main/assets/layouts/main/pcqwerty.json
bengali_baishakhi.json software healthy app/src/main/assets/layouts/main/bengali_baishakhi.json
hindi.json software healthy app/src/main/assets/layouts/main/hindi.json
nepali_traditional.json software healthy app/src/main/assets/layouts/main/nepali_traditional.json
nepali_romanized.json software healthy app/src/main/assets/layouts/main/nepali_romanized.json
dvorak.json software healthy app/src/main/assets/layouts/main/dvorak.json
uzbek.json software healthy app/src/main/assets/layouts/main/uzbek.json
bengali_inscript.json software healthy app/src/main/assets/layouts/main/bengali_inscript.json

Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.

LabelLayerStatusPath
docs software healthy docs
app software healthy app
src software healthy app/src
offline software healthy app/src/offline
java software healthy app/src/offline/java
helium314 software healthy app/src/offline/java/helium314
keyboard software healthy app/src/offline/java/helium314/keyboard
latin software healthy app/src/offline/java/helium314/keyboard/latin
utils software healthy app/src/offline/java/helium314/keyboard/latin/utils
test software healthy app/src/test
java software healthy app/src/test/java
helium314 software healthy app/src/test/java/helium314
keyboard software healthy app/src/test/java/helium314/keyboard
settings software healthy app/src/test/java/helium314/keyboard/settings
latin software healthy app/src/test/java/helium314/keyboard/latin
utils software healthy app/src/test/java/helium314/keyboard/latin/utils
standard software healthy app/src/standard
java software healthy app/src/standard/java
helium314 software healthy app/src/standard/java/helium314
keyboard software healthy app/src/standard/java/helium314/keyboard
latin software healthy app/src/standard/java/helium314/keyboard/latin
utils software healthy app/src/standard/java/helium314/keyboard/latin/utils
offlinelite software healthy app/src/offlinelite
java software healthy app/src/offlinelite/java
helium314 software healthy app/src/offlinelite/java/helium314
keyboard software healthy app/src/offlinelite/java/helium314/keyboard
latin software healthy app/src/offlinelite/java/helium314/keyboard/latin
utils software healthy app/src/offlinelite/java/helium314/keyboard/latin/utils
main software healthy app/src/main
assets software healthy app/src/main/assets
layouts software healthy app/src/main/assets/layouts
number software healthy app/src/main/assets/layouts/number
number_row software healthy app/src/main/assets/layouts/number_row
numpad software healthy app/src/main/assets/layouts/numpad
clipboard_bottom software healthy app/src/main/assets/layouts/clipboard_bottom
phone_symbols software healthy app/src/main/assets/layouts/phone_symbols
emoji_bottom software healthy app/src/main/assets/layouts/emoji_bottom
main software healthy app/src/main/assets/layouts/main
functional software healthy app/src/main/assets/layouts/functional
numpad_landscape software healthy app/src/main/assets/layouts/numpad_landscape
phone software healthy app/src/main/assets/layouts/phone
java software healthy app/src/main/java
com software healthy app/src/main/java/com
android software healthy app/src/main/java/com/android
inputmethod software healthy app/src/main/java/com/android/inputmethod
keyboard software healthy app/src/main/java/com/android/inputmethod/keyboard
latin software healthy app/src/main/java/com/android/inputmethod/latin
utils software healthy app/src/main/java/com/android/inputmethod/latin/utils
helium314 software healthy app/src/main/java/helium314
keyboard software healthy app/src/main/java/helium314/keyboard

Showing first 50 of this kind. Full payload available via the JSON button at the top of the page.

LabelLayerStatusPath
find_word_lists software healthy tools/diacritics.py:20
check_diacritics software healthy tools/diacritics.py:32
make_all_diacritics software healthy tools/diacritics.py:73
read_diacritics software healthy tools/diacritics.py:81
main software healthy tools/diacritics.py:94
check_git software healthy tools/release.py:11
update_translations software healthy tools/release.py:20
check_default_values_diff software healthy tools/release.py:60
read_dicts_readme software healthy tools/release.py:66
update_dict_list software healthy tools/release.py:85
check_changelog software healthy tools/release.py:118
update_khipro_mappings software healthy tools/release.py:140
main software healthy tools/release.py:146

LabelLayerStatusPath
gha::update-badges cicd healthy .github/workflows/update-badges.yml
gha::build-test-auto cicd healthy .github/workflows/build-test-auto.yml
gha::build-debug-apk cicd healthy .github/workflows/build-debug-apk.yml

LabelLayerStatusPath
update-badges cicd healthy .github/workflows/update-badges.yml
build cicd healthy .github/workflows/build-test-auto.yml
build cicd healthy .github/workflows/build-debug-apk.yml

LabelLayerStatusPath
repobility-clone-zxa3byjd software healthy /tmp/repobility-clone-zxa3byjd

LabelLayerStatusPath
GITHUB_TOKEN cicd healthy
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.