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
1 of your 6 findings came from Repobility's proprietary detections. ✓ Repobility tags below mark them.

Scan timing: clone 3.25s · analysis 1.56s · 1.3 MB · GitHub API rate-limit (preflight)

aeyakovenko/percolator

https://github.com/aeyakovenko/percolator · scanned 2026-06-05 22:31 UTC (1 week, 2 days ago) · 10 languages

22 raw signals (4 security + 18 graph) 100th percentile · Rust · medium (20-100K LoC) System graph score 90 (lower by 8)

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

Complete repo analysis

Last scanned 1 week, 2 days ago · v2 · 13 actionable findings from 2 signal sources. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.

JSON
Combined
90.8
/100
Security checks
91
4 findings
System graph
90
66.7% cov · 9 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 100.0 0.15 15.00
security_score 91.5 0.25 22.88
testing_score 85.0 0.20 17.00
documentation_score 76.0 0.15 11.40
practices_score 72.0 0.15 10.80
code_quality 50.0 0.10 5.00
Overall 1.00 82.1
Severity distribution — click a segment to filter
Active filters: excluding tests × Reset all
Severity: Critical 0 High 1 Medium 3 Low 6 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 4 System graph 9 Crowd 0 Layer: Quality 6 Software 2 Security 2 Api 1 Frontend 1 Cicd 1

All 26 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
spec.md software healthy spec.md
Cargo.toml software healthy Cargo.toml
README.md software healthy README.md
kani-list.json software healthy kani-list.json
v16_fuzzing.rs software healthy tests/v16_fuzzing.rs
resolved_insolvent_fuzz.rs software healthy tests/resolved_insolvent_fuzz.rs
proofs_v16.rs software healthy tests/proofs_v16.rs
v16_spec_tests.rs software healthy tests/v16_spec_tests.rs
proofs_v16_arithmetic.rs software healthy tests/proofs_v16_arithmetic.rs
temporary-engine-roadmap.md software healthy scripts/temporary-engine-roadmap.md
audit-proof-strength.md software healthy scripts/audit-proof-strength.md
isolated_retry.sh software healthy scripts/isolated_retry.sh
isolated_full_audit.sh software healthy scripts/isolated_full_audit.sh
proof-strength-audit-results.md software healthy scripts/proof-strength-audit-results.md
restore_resolved_payout.py software warning scripts/restore_resolved_payout.py
isolated_runner.sh software healthy scripts/isolated_runner.sh
reorder_proofs.py software healthy scripts/reorder_proofs.py
run_kani_full_audit.sh software healthy scripts/run_kani_full_audit.sh
lib.rs software healthy src/lib.rs
wide_math.rs software healthy src/wide_math.rs
v16.rs software healthy src/v16.rs

LabelLayerStatusPath
tests software healthy tests
scripts software healthy scripts
src software healthy src

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

LabelLayerStatusPath
is_heavy software healthy scripts/reorder_proofs.py:18
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/dff8a637-55cd-4aa5-a540-e6154745b8b0/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/dff8a637-55cd-4aa5-a540-e6154745b8b0/

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.