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.

rkirov/jacobian-claude

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)

UNIFIED Repobility · multi-layer engine · AI coders

Complete repo analysis

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.

JSON
Severity distribution — click a segment to filter
Active filters: excluding tests × Reset all

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.

LabelLayerStatusPath
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

LabelLayerStatusPath
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

LabelLayerStatusPath
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

LabelLayerStatusPath
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

LabelLayerStatusPath
gha::comparator cicd healthy .github/workflows/comparator.yml
gha::docs cicd healthy .github/workflows/docs.yml
gha::lean cicd healthy .github/workflows/lean.yml

LabelLayerStatusPath
repobility-clone-ip1waiis software healthy /tmp/repobility-clone-ip1waiis
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/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.