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

Vilin97/lean-pool

https://github.com/Vilin97/lean-pool · scanned 2026-06-16 00:50 UTC (2 months, 1 week ago)

18 raw signals (0 security + 18 graph)

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

Complete repo analysis

Last scanned 2 months, 1 week ago · v1 · 15 actionable findings from 1 signal source. 3 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.

JSON
Combined
73.1
/100
Security checks
73
0 findings
System graph
73
77.8% cov · 15 findings
Critical
0
click to filter
Agents
10
0 votes
Crowd
0
reported
Severity distribution — click a segment to filter
Active filters: excluding tests × Reset all
Severity: Critical 0 High 0 Medium 9 Low 3 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 0 System graph 15 Crowd 0 Layer: Network 2 Frontend 1 Security 1 Cicd 1 Quality 10

All 384 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
_write_minimal_repo software healthy python/tests/test_quality.py:27
_write_project_yaml software healthy python/tests/test_quality.py:38
test_strip_lean_comments_preserves_code_not_comments software healthy python/tests/test_quality.py:74
test_minimal_repo_passes_static_quality_checks software healthy python/tests/test_quality.py:89
test_quality_check_rejects_set_option software healthy python/tests/test_quality.py:96
test_quality_check_rejects_nolint_attribute software healthy python/tests/test_quality.py:105
test_quality_check_rejects_nolint_command software healthy python/tests/test_quality.py:117
test_quality_check_rejects_style_linter_allowlist_entry software healthy python/tests/test_quality.py:129
test_quality_check_rejects_unreachable_lean_file software healthy python/tests/test_quality.py:142
test_quality_check_rejects_missing_project_metadata software healthy python/tests/test_quality.py:152
test_quality_check_rejects_top_level_project_missing_from_m… software healthy python/tests/test_quality.py:162
test_quality_check_allows_extra_documented_main_results software healthy python/tests/test_quality.py:179
test_quality_check_finds_prefixed_declarations software healthy python/tests/test_quality.py:209
test_quality_check_parses_declaration_with_prime_suffix software healthy python/tests/test_quality.py:221
test_quality_check_parses_unicode_declaration_name software healthy python/tests/test_quality.py:237
test_quality_check_strips_root_escape_from_declaration_name software healthy python/tests/test_quality.py:251
test_quality_check_section_inside_namespace_keeps_namespace software healthy python/tests/test_quality.py:269
test_quality_check_dotted_name_inside_namespace_is_qualified software healthy python/tests/test_quality.py:298
test_quality_check_rejects_oversized_file software healthy python/tests/test_quality.py:318
test_quality_check_does_not_honor_size_marker software healthy python/tests/test_quality.py:329
test_write_project_card_inserts_card_after_imports software healthy python/tests/test_quality.py:356
test_write_project_card_replaces_existing_card software healthy python/tests/test_quality.py:382
test_project_card_lists_all_source_identifiers software healthy python/tests/test_quality.py:405
test_write_project_card_moves_misplaced_card software healthy python/tests/test_quality.py:411
test_quality_check_accepts_project_card_after_imports software healthy python/tests/test_quality.py:432
test_quality_check_falls_back_when_lake_missing software healthy python/tests/test_quality.py:456
test_quality_check_rejects_non_verified_status software healthy python/tests/test_quality.py:484
test_axiom_audit_resolved_parses_success_lines software healthy python/tests/test_quality.py:497
test_axiom_audit_missing_attributes_stderr_to_each_declarat… software healthy python/tests/test_quality.py:522
test_quality_check_rejects_duplicate_slug software healthy python/tests/test_quality.py:539
test_quality_check_rejects_duplicate_entry_module software healthy python/tests/test_quality.py:558
test_quality_check_rejects_out_of_order_header software healthy python/tests/test_quality.py:574
test_quality_check_rejects_adhoc_metadata_in_header software healthy python/tests/test_quality.py:593
test_quality_check_rejects_extra_axiom_status software healthy python/tests/test_quality.py:611
test_quality_check_rejects_source_without_github_repo software healthy python/tests/test_quality.py:624
test_quality_check_rejects_malformed_github_repo software healthy python/tests/test_quality.py:641
test_render_comment_includes_marker_and_reviewed_head software healthy python/tests/test_review.py:15
test_extract_statements_uses_docstring_query software healthy python/tests/test_semantic_dedup.py:10
test_extract_statements_skips_undocumented_declarations software healthy python/tests/test_semantic_dedup.py:28
test_count_lean_loc_ignores_comments_and_blank_lines software healthy python/tests/test_partial_port_audit.py:19
test_forbidden_upstream_construct_ignores_comments software healthy python/tests/test_partial_port_audit.py:32
test_stats_from_worktree_skips_unimportable_upstream_files software healthy python/tests/test_partial_port_audit.py:42
test_stats_from_worktree_skips_dependents_of_unimportable_f… software healthy python/tests/test_partial_port_audit.py:57
test_imported_modules_ignores_comments software healthy python/tests/test_partial_port_audit.py:75
test_module_name_uses_repository_relative_path software healthy python/tests/test_partial_port_audit.py:85
test_normalize_stem_matches_renamed_camel_case_file software healthy python/tests/test_partial_port_audit.py:90
test_normalize_relative_path_drops_project_prefix software healthy python/tests/test_partial_port_audit.py:97
test_evaluate_stats_flags_large_loc_gap software healthy python/tests/test_partial_port_audit.py:104
test_evaluate_stats_flags_missing_large_file software healthy python/tests/test_partial_port_audit.py:114
test_evaluate_stats_lists_largest_missing_files_for_ratio_g… software healthy python/tests/test_partial_port_audit.py:140

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

LabelLayerStatusPath
lakefile.toml software healthy lakefile.toml
lake-manifest.json software healthy lake-manifest.json
README.md software healthy README.md
CLAUDE.md software healthy CLAUDE.md
.zenodo.json software healthy .zenodo.json
CONTRIBUTING.md software healthy CONTRIBUTING.md
MOTIVATION.md software healthy MOTIVATION.md
Makefile software healthy Makefile
LICENSE software healthy LICENSE
NOTICE software healthy NOTICE
AGENTS.md software healthy AGENTS.md
projects.yml software healthy LeanPool/projects.yml
run-import-queue.sh software healthy scripts/run-import-queue.sh
import-formalization.sh software healthy scripts/import-formalization.sh
lakefile.toml software healthy docbuild/lakefile.toml
lake-manifest.json software healthy docbuild/lake-manifest.json
README.md software healthy candidates/README.md
shortlist.md software healthy candidates/shortlist.md
README.md software healthy python/README.md
pyproject.toml software healthy python/pyproject.toml
__init__.py software healthy python/tests/__init__.py
test_quality.py software healthy python/tests/test_quality.py
test_review.py software healthy python/tests/test_review.py
test_semantic_dedup.py software healthy python/tests/test_semantic_dedup.py
test_partial_port_audit.py software healthy python/tests/test_partial_port_audit.py
test_manual.py software healthy python/tests/aggregator/test_manual.py
__init__.py software healthy python/tests/aggregator/__init__.py
test_render.py software healthy python/tests/aggregator/test_render.py
test_reservoir.py software healthy python/tests/aggregator/test_reservoir.py
test_cloner.py software healthy python/tests/aggregator/test_cloner.py
__init__.py software healthy python/lean_pool/__init__.py
semantic_dedup.py software healthy python/lean_pool/semantic_dedup.py
quality.py software healthy python/lean_pool/quality.py
review.py software healthy python/lean_pool/review.py
partial_port_audit.py software healthy python/lean_pool/partial_port_audit.py
reservoir.py software healthy python/lean_pool/aggregator/reservoir.py
__init__.py software healthy python/lean_pool/aggregator/__init__.py
render.py software healthy python/lean_pool/aggregator/render.py
__main__.py software healthy python/lean_pool/aggregator/__main__.py
cloner.py software healthy python/lean_pool/aggregator/cloner.py
manual.py software healthy python/lean_pool/aggregator/manual.py
CODE_QUALITY.md software healthy .github/CODE_QUALITY.md
REVIEW_RULES.md software healthy .github/REVIEW_RULES.md
review.instructions.md software healthy .github/instructions/review.instructions.md
create-release.yml software healthy .github/workflows/create-release.yml
partial-port-audit.yml software healthy .github/workflows/partial-port-audit.yml
llm-review.yml software healthy .github/workflows/llm-review.yml
workflow_lint.yml software healthy .github/workflows/workflow_lint.yml
proof-profile-comment.yml software healthy .github/workflows/proof-profile-comment.yml
content-pr-guard.yml software healthy .github/workflows/content-pr-guard.yml

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

LabelLayerStatusPath
_R software healthy python/tests/aggregator/test_manual.py:162
_Statement software healthy python/lean_pool/semantic_dedup.py:31
_SkippedStatement software healthy python/lean_pool/semantic_dedup.py:39
_SearchResult software healthy python/lean_pool/semantic_dedup.py:46
_Extraction software healthy python/lean_pool/semantic_dedup.py:53
_QualityError software healthy python/lean_pool/quality.py:69
_Declaration software healthy python/lean_pool/quality.py:81
LeanFile software healthy python/lean_pool/partial_port_audit.py:30
LeanStats software healthy python/lean_pool/partial_port_audit.py:39
AuditFinding software healthy python/lean_pool/partial_port_audit.py:61
PackageSource software healthy python/lean_pool/aggregator/reservoir.py:28
BuildResult software healthy python/lean_pool/aggregator/reservoir.py:40
Build software healthy python/lean_pool/aggregator/reservoir.py:53
DependencyBase software healthy python/lean_pool/aggregator/reservoir.py:59
Dependency software healthy python/lean_pool/aggregator/reservoir.py:72
Dependent software healthy python/lean_pool/aggregator/reservoir.py:78
PackageVersion software healthy python/lean_pool/aggregator/reservoir.py:84
Package software healthy python/lean_pool/aggregator/reservoir.py:99
Toolchain software healthy python/lean_pool/aggregator/reservoir.py:118
ReservoirManifest software healthy python/lean_pool/aggregator/reservoir.py:129
Decision software healthy python/lean_pool/aggregator/render.py:29

LabelLayerStatusPath
lean-release-tag cicd healthy .github/workflows/create-release.yml
audit cicd healthy .github/workflows/partial-port-audit.yml
review cicd healthy .github/workflows/llm-review.yml
actionlint cicd healthy .github/workflows/workflow_lint.yml
pinned-actions cicd healthy .github/workflows/workflow_lint.yml
comment cicd healthy .github/workflows/proof-profile-comment.yml
guard cicd healthy .github/workflows/content-pr-guard.yml
build cicd healthy .github/workflows/docs.yml
profile cicd healthy .github/workflows/proof-profile.yml
check-for-updates cicd healthy .github/workflows/update.yml
do-update cicd healthy .github/workflows/update.yml
stale cicd healthy .github/workflows/stale.yml
build cicd healthy .github/workflows/lean_action_ci.yml
lint cicd healthy .github/workflows/python_ci.yml
test cicd healthy .github/workflows/python_ci.yml

LabelLayerStatusPath
LeanPool software healthy LeanPool
scripts software healthy scripts
docbuild software healthy docbuild
candidates software healthy candidates
python software healthy python
tests software healthy python/tests
aggregator software healthy python/tests/aggregator
lean_pool software healthy python/lean_pool
aggregator software healthy python/lean_pool/aggregator
.github software healthy .github
instructions software healthy .github/instructions
workflows software healthy .github/workflows

LabelLayerStatusPath
gha::create-release cicd healthy .github/workflows/create-release.yml
gha::partial-port-audit cicd healthy .github/workflows/partial-port-audit.yml
gha::llm-review cicd healthy .github/workflows/llm-review.yml
gha::workflow_lint cicd healthy .github/workflows/workflow_lint.yml
gha::proof-profile-comment cicd healthy .github/workflows/proof-profile-comment.yml
gha::content-pr-guard cicd healthy .github/workflows/content-pr-guard.yml
gha::docs cicd healthy .github/workflows/docs.yml
gha::proof-profile cicd healthy .github/workflows/proof-profile.yml
gha::update cicd healthy .github/workflows/update.yml
gha::stale cicd healthy .github/workflows/stale.yml
gha::lean_action_ci cicd healthy .github/workflows/lean_action_ci.yml
gha::python_ci cicd healthy .github/workflows/python_ci.yml

LabelLayerStatusPath
port:18 network healthy LeanPool/projects.yml
port:29 network healthy LeanPool/projects.yml
port:08 network healthy .github/workflows/update.yml

LabelLayerStatusPath
GITHUB_TOKEN cicd healthy —
OPENAI_API_KEY cicd healthy —

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

LabelLayerStatusPath
gpu (detected) hardware healthy candidates/README.md
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/7f82461b-0da9-4d56-8d19-e508b9c39b6d/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/7f82461b-0da9-4d56-8d19-e508b9c39b6d/

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.