https://github.com/rkirov/jacobian-claude
· scanned 2026-06-15 23:52 UTC (2 months, 3 weeks ago)
20 raw signals (0 security + 20 graph)
Last scanned 2 months, 3 weeks ago · v1 · 18 actionable findings from 1 signal source. 2 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.
All 83 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.
| Label | Layer | Status | Path |
|---|---|---|---|
verify.sh |
software | healthy | verify.sh |
lake-manifest.json |
software | healthy | lake-manifest.json |
README.md |
software | healthy | README.md |
formalization.yaml |
software | healthy | formalization.yaml |
human_input.md |
software | healthy | human_input.md |
lakefile.toml |
software | healthy | comparator/lakefile.toml |
lake-manifest.json |
software | healthy | comparator/lake-manifest.json |
config.json |
software | healthy | comparator/config.json |
RETRO.md |
software | healthy | docs/RETRO.md |
REVIEW.md |
software | healthy | docs/REVIEW.md |
DESIGN.md |
software | healthy | docs/DESIGN.md |
unused_decls_curated.md |
software | healthy | docs/unused_decls_curated.md |
usage_graph.json |
software | healthy | docs/usage_graph.json |
UNITS_PROPOSAL.md |
software | healthy | docs/UNITS_PROPOSAL.md |
units.html |
software | healthy | docs/units.html |
unit_dag_manifest.json |
software | healthy | docs/unit_dag_manifest.json |
walls_bc_plan_2026-06-10.md |
software | healthy | docs/walls_bc_plan_2026-06-10.md |
REFERENCES.md |
software | healthy | docs/REFERENCES.md |
rr_close_plan_2026-06-09.md |
software | healthy | docs/rr_close_plan_2026-06-09.md |
unit_design.py |
software | healthy | scripts/unit_design.py |
usage_report.py |
software | healthy | scripts/usage_report.py |
check_sorries.py |
software | healthy | scripts/check_sorries.py |
update_submission_branch.sh |
software | healthy | scripts/update_submission_branch.sh |
migrate_units.py |
software | healthy | scripts/migrate_units.py |
generate_verso_site.py |
software | healthy | scripts/generate_verso_site.py |
generate_conformance_page.py |
software | healthy | scripts/generate_conformance_page.py |
curate_unused.py |
software | healthy | scripts/curate_unused.py |
make_submission.py |
software | healthy | scripts/make_submission.py |
dead_modules.py |
software | healthy | scripts/dead_modules.py |
min_imports_sweep.py |
software | healthy | scripts/min_imports_sweep.py |
lakefile.toml |
software | healthy | site/lakefile.toml |
lake-manifest.json |
software | healthy | site/lake-manifest.json |
404.html |
software | healthy | site/404.html |
comparator.yml |
software | healthy | .github/workflows/comparator.yml |
docs.yml |
software | healthy | .github/workflows/docs.yml |
lean.yml |
software | healthy | .github/workflows/lean.yml |
| Label | Layer | Status | Path |
|---|---|---|---|
modname |
software | healthy | scripts/unit_design.py:183 |
unit_of |
software | healthy | scripts/unit_design.py:195 |
dfs |
software | healthy | scripts/unit_design.py:226 |
depth |
software | healthy | scripts/unit_design.py:296 |
reachable |
software | healthy | scripts/unit_design.py:304 |
width |
software | healthy | scripts/unit_design.py:385 |
bary |
software | healthy | scripts/unit_design.py:389 |
unit_src |
software | healthy | scripts/unit_design.py:408 |
used_transitively |
software | healthy | scripts/usage_report.py:31 |
lean_code_chars |
software | healthy | scripts/check_sorries.py:13 |
is_ident_char |
software | healthy | scripts/check_sorries.py:81 |
count_sorries |
software | healthy | scripts/check_sorries.py:85 |
main |
software | healthy | scripts/check_sorries.py:101 |
rewrite_imports_only |
software | healthy | scripts/migrate_units.py:65 |
depth |
software | healthy | scripts/generate_verso_site.py:24 |
find_decl_statement |
software | healthy | scripts/generate_verso_site.py:35 |
issue_url |
software | healthy | scripts/generate_verso_site.py:66 |
module_public_decls |
software | healthy | scripts/generate_verso_site.py:77 |
lean_str |
software | healthy | scripts/generate_verso_site.py:130 |
md_escape |
software | healthy | scripts/generate_verso_site.py:133 |
blob |
software | healthy | scripts/generate_conformance_page.py:27 |
lean_str |
software | healthy | scripts/generate_conformance_page.py:140 |
decl_block |
software | healthy | scripts/curate_unused.py:34 |
rewrite |
software | healthy | scripts/make_submission.py:28 |
stale |
software | healthy | scripts/make_submission.py:76 |
mod_of_path |
software | healthy | scripts/dead_modules.py:13 |
path_of_mod |
software | healthy | scripts/dead_modules.py:14 |
imports |
software | healthy | scripts/dead_modules.py:21 |
modules |
software | healthy | scripts/min_imports_sweep.py:24 |
split_imports |
software | healthy | scripts/min_imports_sweep.py:38 |
collect |
software | healthy | scripts/min_imports_sweep.py:60 |
apply |
software | healthy | scripts/min_imports_sweep.py:88 |
status |
software | healthy | scripts/min_imports_sweep.py:104 |
| Label | Layer | Status | Path |
|---|---|---|---|
comparator |
software | healthy | comparator |
docs |
software | healthy | docs |
scripts |
software | healthy | scripts |
site |
software | healthy | site |
.github |
software | healthy | .github |
workflows |
software | healthy | .github/workflows |
| Label | Layer | Status | Path |
|---|---|---|---|
verify |
cicd | healthy | .github/workflows/comparator.yml |
build |
cicd | healthy | .github/workflows/docs.yml |
deploy |
cicd | healthy | .github/workflows/docs.yml |
build |
cicd | healthy | .github/workflows/lean.yml |
| Label | Layer | Status | Path |
|---|---|---|---|
gha::comparator |
cicd | healthy | .github/workflows/comparator.yml |
gha::docs |
cicd | healthy | .github/workflows/docs.yml |
gha::lean |
cicd | healthy | .github/workflows/lean.yml |
| Label | Layer | Status | Path |
|---|---|---|---|
repobility-clone-ip1waiis |
software | healthy | /tmp/repobility-clone-ip1waiis |
This page is publicly accessible at:
https://repobility.com/scan/22bf0e0b-c794-4e27-a9f6-fc3b2ad8fe5e/
To check status programmatically (no auth required):
curl -s https://repobility.com/api/v1/public/scan/22bf0e0b-c794-4e27-a9f6-fc3b2ad8fe5e/
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.