Hyperion-GPU/ProofFlow-v0.1

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.

https://github.com/Hyperion-GPU/ProofFlow-v0.1.git · scanned 2026-05-16 08:42 UTC (2 weeks, 6 days ago) · 10 languages

148 findings (26 legacy + 122 scanner) 73rd percentile · Python · medium (20-100K LoC) Scanner says 55 (higher by 21)

File as issue Image v2 schema

UNIFIED Repobility · multi-layer engine · AI coders

Complete repo analysis

Last scanned 2 weeks, 6 days ago · v1 · 26 findings from 1 source. Findings combine the legacy security pipeline AND the multi-layer engine (atlas, wiring, flows, ranked) AND verified AI agent contributions.

JSON

Severity distribution — click a segment to filter

Active filters: excluding tests × Reset all

Severity: Critical 1 High 21 Medium 4 Low 0 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Legacy 26 9-layer 0 Crowd 0 Layer: Cicd 11 Quality 13 Security 2

Exclude dismissed / FP Exclude test files

Bug-class explainers. Each card groups findings of the same shape — these are the patterns most likely to ship to prod and reappear in future scans unless you systematically fix the cause, not just the instance.

Fragile runtime 13 findings

What it is: Code that runs but breaks under predictable input — division by zero, missing keys, unbounded loops, off-by-one slicing.

Why it matters: Reaches production undetected because happy-path tests pass. First user with a weird input crashes the request.

How AI causes it: AI loves writing the happy path; doesn't probe edge cases unless explicitly asked.

Fix approach: Add property-based tests. Wrap external inputs with explicit validators. Use the framework's typed deserializer (Pydantic, attrs).

12 matching findings on this repo

medium [ERR002] Empty Catch Block: Empty catch blocks hide errors. frontend/src/pages/CaseDetail.tsx:528
medium [ERR002] Empty Catch Block: Empty catch blocks hide errors. frontend/src/pages/LocalProof.tsx:434
medium Duplicated implementation block across source files vscode-proofflow/src/commands/scanFolder.ts:31
medium Duplicated implementation block across source files scripts/mcp_smoke.py:13
medium Duplicated implementation block across source files scripts/generate_real_docs_output.py:13
medium Duplicated implementation block across source files scripts/demo_seed.py:289
medium Duplicated implementation block across source files frontend/src/pages/LocalProof.tsx:236
medium Duplicated implementation block across source files frontend/src/pages/Cases.tsx:15
medium Duplicated implementation block across source files frontend/src/pages/CaseDetail.tsx:189
medium Duplicated implementation block across source files frontend/src/pages/CaseDetail.tsx:34
medium Duplicated implementation block across source files backend/proofflow/services/report_service.py:45
medium Duplicated implementation block across source files backend/proofflow/services/policy_gate_dry_run_se…:16

View all fragile runtime findings →

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/5ed8a9ae-b1d2-4ed1-bed8-020b685ffd35/

To check status programmatically (no auth required):

curl -s https://repobility.com/api/v1/public/scan/5ed8a9ae-b1d2-4ed1-bed8-020b685ffd35/

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.