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

Hyperion-GPU/ProofFlow-v0.1

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
Combined
61.5
/100
Repobility
68
26 legacy
9-layer
55
100.0% cov · 0 gaps
Critical
1
click to filter
Agents
6
0 votes
Crowd
0
reported
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

All 1656 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
App software healthy frontend/src/App.tsx:App
request software healthy frontend/src/api/client.ts:request
parseJsonSuccess software healthy frontend/src/api/client.ts:parseJsonSuccess
parseErrorBody software healthy frontend/src/api/client.ts:parseErrorBody
errorDetail software healthy frontend/src/api/client.ts:errorDetail
defaultErrorMessage software healthy frontend/src/api/client.ts:defaultErrorMessage
apiGet software healthy frontend/src/api/client.ts:apiGet
apiPost software healthy frontend/src/api/client.ts:apiPost
apiPatch software healthy frontend/src/api/client.ts:apiPatch
backupPreview software healthy frontend/src/api/client.ts:backupPreview
createBackup software healthy frontend/src/api/client.ts:createBackup
listBackups software healthy frontend/src/api/client.ts:listBackups
getBackupDetail software healthy frontend/src/api/client.ts:getBackupDetail
verifyBackup software healthy frontend/src/api/client.ts:verifyBackup
restorePreview software healthy frontend/src/api/client.ts:restorePreview
restoreToNewLocation software healthy frontend/src/api/client.ts:restoreToNewLocation
formatApiError software healthy frontend/src/api/client.ts:formatApiError
expectLastFetch software healthy frontend/src/api/client.test.ts:expectLastFetch
jsonResponse software healthy frontend/src/api/client.test.ts:jsonResponse
Layout software healthy frontend/src/components/Layout.tsx:Layout
PathValue software healthy frontend/src/components/AuditDisplay.tsx:PathValue
JsonDetails software healthy frontend/src/components/AuditDisplay.tsx:JsonDetails
metadataText software healthy frontend/src/components/AuditDisplay.tsx:metadataText
formatJson software healthy frontend/src/components/AuditDisplay.tsx:formatJson
compactPath software healthy frontend/src/components/AuditDisplay.tsx:compactPath
jsonSummary software healthy frontend/src/components/AuditDisplay.tsx:jsonSummary
isEmptyObject software healthy frontend/src/components/AuditDisplay.tsx:isEmptyObject
agentGuardPacket software healthy frontend/src/pages/AgentGuard.test.tsx:agentGuardPacket
LocalProof software healthy frontend/src/pages/LocalProof.tsx:LocalProof
scanFolder software healthy frontend/src/pages/LocalProof.tsx:scanFolder
suggestActions software healthy frontend/src/pages/LocalProof.tsx:suggestActions
refreshActions software healthy frontend/src/pages/LocalProof.tsx:refreshActions
runAction software healthy frontend/src/pages/LocalProof.tsx:runAction
activeCaseId software healthy frontend/src/pages/LocalProof.tsx:activeCaseId
SkippedItemsTable software healthy frontend/src/pages/LocalProof.tsx:SkippedItemsTable
ActionPathPreview software healthy frontend/src/pages/LocalProof.tsx:ActionPathPreview
ActionDependencyMetadata software healthy frontend/src/pages/LocalProof.tsx:ActionDependencyMetadata
canRunAction software healthy frontend/src/pages/LocalProof.tsx:canRunAction
previewText software healthy frontend/src/pages/LocalProof.tsx:previewText
PolicyGateBanner software healthy frontend/src/pages/LocalProof.tsx:PolicyGateBanner
createGateDecision software healthy frontend/src/pages/LocalProof.tsx:createGateDecision
ActionStatusSummary software healthy frontend/src/pages/LocalProof.tsx:ActionStatusSummary
actionStatusText software healthy frontend/src/pages/LocalProof.tsx:actionStatusText
nextActionText software healthy frontend/src/pages/LocalProof.tsx:nextActionText
available software healthy frontend/src/pages/LocalProof.tsx:available
sortActionsForReview software healthy frontend/src/pages/LocalProof.tsx:sortActionsForReview
Decisions software healthy frontend/src/pages/Decisions.tsx:Decisions
loadDecisions software healthy frontend/src/pages/Decisions.tsx:loadDecisions
createDecision software healthy frontend/src/pages/Decisions.tsx:createDecision
updateDecision software healthy frontend/src/pages/Decisions.tsx:updateDecision

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

LabelLayerStatusPath
README.zh-CN.md software healthy README.zh-CN.md
.mcp.json software healthy .mcp.json
README.md software healthy README.md
RELEASE_NOTES_v0.1.5.md software healthy RELEASE_NOTES_v0.1.5.md
CONTRIBUTING.md software healthy CONTRIBUTING.md
RELEASE_NOTES_v0.1.6.1.md software healthy RELEASE_NOTES_v0.1.6.1.md
RELEASE_NOTES_v0.1.3.md software healthy RELEASE_NOTES_v0.1.3.md
RELEASE_NOTES_v0.1.6.md software healthy RELEASE_NOTES_v0.1.6.md
Makefile software healthy Makefile
PLANS.md software healthy PLANS.md
CODE_OF_CONDUCT.md software healthy CODE_OF_CONDUCT.md
SECURITY.md software healthy SECURITY.md
RELEASE_NOTES_v0.1.4.md software healthy RELEASE_NOTES_v0.1.4.md
AGENTS.md software healthy AGENTS.md
CHANGELOG.md software healthy CHANGELOG.md
docker-compose.yml software healthy docker-compose.yml
vite.config.ts software warning frontend/vite.config.ts
package.json software healthy frontend/package.json
index.html software healthy frontend/index.html
Dockerfile software healthy frontend/Dockerfile
package-lock.json software healthy frontend/package-lock.json
tsconfig.json software healthy frontend/tsconfig.json
styles.css software healthy frontend/src/styles.css
main.tsx software warning frontend/src/main.tsx
vite-env.d.ts software warning frontend/src/vite-env.d.ts
App.tsx software healthy frontend/src/App.tsx
types.ts software warning frontend/src/types.ts
client.ts software healthy frontend/src/api/client.ts
client.test.ts software healthy frontend/src/api/client.test.ts
setup.ts software warning frontend/src/test/setup.ts
Layout.tsx software healthy frontend/src/components/Layout.tsx
AuditDisplay.tsx software healthy frontend/src/components/AuditDisplay.tsx
AgentGuard.test.tsx software healthy frontend/src/pages/AgentGuard.test.tsx
LocalProof.tsx software healthy frontend/src/pages/LocalProof.tsx
Decisions.tsx software healthy frontend/src/pages/Decisions.tsx
Dashboard.tsx software healthy frontend/src/pages/Dashboard.tsx
CaseDetail.test.tsx software healthy frontend/src/pages/CaseDetail.test.tsx
Artifacts.tsx software healthy frontend/src/pages/Artifacts.tsx
Cases.tsx software healthy frontend/src/pages/Cases.tsx
ManagedBackupRestore.tsx software healthy frontend/src/pages/ManagedBackupRestore.tsx
CaseDetail.tsx software healthy frontend/src/pages/CaseDetail.tsx
AgentGuard.tsx software healthy frontend/src/pages/AgentGuard.tsx
LocalProof.test.tsx software healthy frontend/src/pages/LocalProof.test.tsx
ManagedBackupRestore.test.tsx software healthy frontend/src/pages/ManagedBackupRestore.test.tsx
Search.tsx software healthy frontend/src/pages/Search.tsx
Dashboard.test.tsx software warning frontend/src/pages/Dashboard.test.tsx
policy-gate-input-output-contract-review.md software healthy docs/policy-gate-input-output-contract-review.md
architecture.md software healthy docs/architecture.md
policy-gate-dry-run-evaluation-plan.md software healthy docs/policy-gate-dry-run-evaluation-plan.md
mvp_scope.md software healthy docs/mvp_scope.md

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

LabelLayerStatusPath
ApiError software healthy frontend/src/api/client.ts:ApiError
const software healthy frontend/src/pages/CaseDetail.test.tsx:const
DemoSeedResult software healthy scripts/demo_seed.py:55
ProofFlowError software healthy mcp-server/src/proofflow_mcp/client.py:11
ProofFlowClient software healthy mcp-server/src/proofflow_mcp/client.py:19
ThemeColor software healthy vscode-proofflow/test/vscodeMock.ts:ThemeColor
ThemeIcon software healthy vscode-proofflow/test/vscodeMock.ts:ThemeIcon
Range software healthy vscode-proofflow/test/vscodeMock.ts:Range
StatusBar software healthy vscode-proofflow/src/statusBar.ts:StatusBar
Poller software healthy vscode-proofflow/src/polling.ts:Poller
InlineAuditDecorations software healthy vscode-proofflow/src/inlineDecorations.ts:InlineAuditDecora…
ProofFlowClient software healthy vscode-proofflow/src/api/client.ts:ProofFlowClient
CaseItem software healthy vscode-proofflow/src/views/treeItems.ts:CaseItem
SectionItem software healthy vscode-proofflow/src/views/treeItems.ts:SectionItem
ActionItem software healthy vscode-proofflow/src/views/treeItems.ts:ActionItem
ClaimItem software healthy vscode-proofflow/src/views/treeItems.ts:ClaimItem
CasesTreeProvider software healthy vscode-proofflow/src/views/casesTreeProvider.ts:CasesTreePr…
TestValidBindingAccepted software healthy backend/tests/test_policy_gate_decision_gate.py:63
TestActionIdMismatch software healthy backend/tests/test_policy_gate_decision_gate.py:77
TestPreviewHashMismatch software healthy backend/tests/test_policy_gate_decision_gate.py:89
TestPolicyEvaluationIdMismatch software healthy backend/tests/test_policy_gate_decision_gate.py:101
TestRejectedDecision software healthy backend/tests/test_policy_gate_decision_gate.py:113
TestMissingBinding software healthy backend/tests/test_policy_gate_decision_gate.py:125
TestMultipleMismatches software healthy backend/tests/test_policy_gate_decision_gate.py:137
TestImmutability software healthy backend/tests/test_policy_gate_decision_gate.py:159
TestNoRuntimeImports software healthy backend/tests/test_policy_gate_decision_gate.py:192
TestHappyPathHighRisk software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:57
TestHappyPathHarmless software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:84
TestMissingContext software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:109
TestContextMismatch software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:151
TestEmptyEvaluation software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:193
TestBlockPropagation software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:215
TestCommandClassification software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:237
TestMissingInvariants software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:331
TestFrozenInstance software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:366
TestAliasSafety software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:388
TestJsonSerialization software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:415
TestNoAuthorityFields software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:442
TestNoRuntimeImports software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:473
TestSnapshotIdentity software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:490
TestIdPropagation software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:506
TestParametrizedOutcomes software healthy backend/tests/test_policy_gate_dry_run_pipeline.py:530
TestHighRiskTransitionsToPendingDecision software healthy backend/tests/test_policy_gate_runtime_observer.py:58
TestLowRiskNoEvidence software healthy backend/tests/test_policy_gate_runtime_observer.py:131
TestObserverFailureDoesNotBlock software healthy backend/tests/test_policy_gate_runtime_observer.py:161
TestEvidenceContentFields software healthy backend/tests/test_policy_gate_runtime_observer.py:201
TestIntegrationEnforcementPause software healthy backend/tests/test_policy_gate_runtime_observer.py:247
TestIntegrationExecuteWithObserverError software healthy backend/tests/test_policy_gate_runtime_observer.py:291
_SampleEnum software healthy backend/tests/test_policy_gate_action_snapshot.py:47
_SampleDataclass software healthy backend/tests/test_policy_gate_action_snapshot.py:52

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

LabelLayerStatusPath
frontend software healthy frontend
src software healthy frontend/src
api software healthy frontend/src/api
test software healthy frontend/src/test
components software healthy frontend/src/components
pages software healthy frontend/src/pages
docs software healthy docs
threat_models software healthy docs/threat_models
releases software healthy docs/releases
examples software healthy docs/examples
scripts software healthy scripts
mcp-server software healthy mcp-server
tests software healthy mcp-server/tests
src software healthy mcp-server/src
proofflow_mcp software healthy mcp-server/src/proofflow_mcp
tools software healthy mcp-server/src/proofflow_mcp/tools
sample_data software healthy sample_data
files software healthy sample_data/files
code software healthy sample_data/files/code
notes software healthy sample_data/files/notes
vscode-proofflow software healthy vscode-proofflow
test software healthy vscode-proofflow/test
src software healthy vscode-proofflow/src
api software healthy vscode-proofflow/src/api
commands software healthy vscode-proofflow/src/commands
views software healthy vscode-proofflow/src/views
backend software healthy backend
tests software healthy backend/tests
fixtures software healthy backend/tests/fixtures
app software healthy backend/app
services software healthy backend/app/services
routers software healthy backend/app/routers
proofflow software healthy backend/proofflow
models software healthy backend/proofflow/models
services software healthy backend/proofflow/services
routers software healthy backend/proofflow/routers
storage software healthy backend/proofflow/storage
.github software healthy .github
ISSUE_TEMPLATE software healthy .github/ISSUE_TEMPLATE
workflows software healthy .github/workflows

LabelLayerStatusPath
POST /cases/{case_id}/export api healthy backend/proofflow/routers/reports.py
GET /health api healthy backend/proofflow/routers/health.py
POST /preview api healthy backend/proofflow/routers/backups.py
POST / api healthy backend/proofflow/routers/backups.py
GET / api healthy backend/proofflow/routers/backups.py
GET /{backup_id} api healthy backend/proofflow/routers/backups.py
POST /{backup_id}/verify api healthy backend/proofflow/routers/backups.py
GET /{case_id}/packet api healthy backend/proofflow/routers/cases.py
GET /{case_id} api healthy backend/proofflow/routers/cases.py
PATCH /{case_id} api healthy backend/proofflow/routers/cases.py
GET /artifacts api healthy backend/proofflow/routers/artifacts.py
POST /artifacts api healthy backend/proofflow/routers/artifacts.py
GET /artifacts/{artifact_id} api healthy backend/proofflow/routers/artifacts.py
POST /cases/{case_id}/artifacts/{artifact_id} api healthy backend/proofflow/routers/artifacts.py
POST /to-new-location api healthy backend/proofflow/routers/restore.py
GET /search api healthy backend/proofflow/routers/search.py
POST /scan api healthy backend/proofflow/routers/localproof.py
POST /suggest-actions api healthy backend/proofflow/routers/localproof.py
GET /cases/{case_id}/actions api healthy backend/proofflow/routers/actions.py
POST /actions api healthy backend/proofflow/routers/actions.py
POST /actions/{action_id}/approve api healthy backend/proofflow/routers/actions.py
POST /actions/{action_id}/execute api healthy backend/proofflow/routers/actions.py
POST /actions/{action_id}/undo api healthy backend/proofflow/routers/actions.py
POST /actions/{action_id}/reject api healthy backend/proofflow/routers/actions.py
GET /cases/{case_id}/decisions api healthy backend/proofflow/routers/decisions.py
POST /cases/{case_id}/decisions api healthy backend/proofflow/routers/decisions.py
PATCH /decisions/{decision_id} api healthy backend/proofflow/routers/decisions.py
POST /review api healthy backend/proofflow/routers/agentguard.py

LabelLayerStatusPath
/AgentGuard.test frontend healthy frontend/src/pages/AgentGuard.test.tsx
/LocalProof frontend healthy frontend/src/pages/LocalProof.tsx
/Decisions frontend healthy frontend/src/pages/Decisions.tsx
/Dashboard frontend healthy frontend/src/pages/Dashboard.tsx
/CaseDetail.test frontend healthy frontend/src/pages/CaseDetail.test.tsx
/Artifacts frontend healthy frontend/src/pages/Artifacts.tsx
/Cases frontend healthy frontend/src/pages/Cases.tsx
/ManagedBackupRestore frontend healthy frontend/src/pages/ManagedBackupRestore.tsx
/CaseDetail frontend healthy frontend/src/pages/CaseDetail.tsx
/AgentGuard frontend healthy frontend/src/pages/AgentGuard.tsx
/LocalProof.test frontend healthy frontend/src/pages/LocalProof.test.tsx
/ManagedBackupRestore.test frontend healthy frontend/src/pages/ManagedBackupRestore.test.tsx
/Search frontend healthy frontend/src/pages/Search.tsx
/Dashboard.test frontend healthy frontend/src/pages/Dashboard.test.tsx
cases frontend healthy frontend/src/App.tsx
cases/:caseId frontend healthy frontend/src/App.tsx
artifacts frontend healthy frontend/src/App.tsx
search frontend healthy frontend/src/App.tsx
localproof frontend healthy frontend/src/App.tsx
agentguard frontend healthy frontend/src/App.tsx
decisions frontend healthy frontend/src/App.tsx
managed-backup-restore frontend healthy frontend/src/App.tsx
* frontend healthy frontend/src/App.tsx
/cases/:caseId frontend healthy frontend/src/pages/CaseDetail.test.tsx

LabelLayerStatusPath
cases data healthy backend/tests/fixtures/legacy_action_safety_v0.sql
actions data healthy backend/tests/fixtures/legacy_action_safety_v0.sql
artifacts data healthy backend/proofflow/storage/schema.sql
case_artifacts data healthy backend/proofflow/storage/schema.sql
artifact_text_chunks data healthy backend/proofflow/storage/schema.sql
runs data healthy backend/proofflow/storage/schema.sql
claims data healthy backend/proofflow/storage/schema.sql
evidence data healthy backend/proofflow/storage/schema.sql
decisions data healthy backend/proofflow/storage/schema.sql
backups data healthy backend/proofflow/storage/schema.sql
restore_previews data healthy backend/proofflow/storage/schema.sql

LabelLayerStatusPath
agentguard-review cicd healthy .github/workflows/proofflow-pr-review.yml
python cicd healthy .github/workflows/lint.yml
typescript cicd healthy .github/workflows/lint.yml
publish cicd healthy .github/workflows/publish-mcp.yml
pytest cicd healthy .github/workflows/backend.yml
pytest cicd healthy .github/workflows/mcp-server.yml
test-build cicd healthy .github/workflows/frontend.yml

LabelLayerStatusPath
gha::proofflow-pr-review cicd healthy .github/workflows/proofflow-pr-review.yml
gha::lint cicd healthy .github/workflows/lint.yml
gha::publish-mcp cicd healthy .github/workflows/publish-mcp.yml
gha::backend cicd healthy .github/workflows/backend.yml
gha::mcp-server cicd healthy .github/workflows/mcp-server.yml
gha::frontend cicd healthy .github/workflows/frontend.yml

LabelLayerStatusPath
image::frontend/Dockerfile hardware healthy frontend/Dockerfile
image::backend/Dockerfile hardware healthy backend/Dockerfile
backend hardware healthy docker-compose.yml
frontend hardware healthy docker-compose.yml

LabelLayerStatusPath
test_migrations.py data healthy backend/tests/test_migrations.py
migrations.py data healthy backend/proofflow/migrations.py

LabelLayerStatusPath
port:8787 network healthy docker-compose.yml
port:5173 network healthy docker-compose.yml

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

LabelLayerStatusPath
sqlite data healthy scripts/backup_restore_api_smoke.py

LabelLayerStatusPath
127.0.0.1 network healthy .mcp.json

LabelLayerStatusPath
nginx network healthy frontend/Dockerfile

LabelLayerStatusPath
gpu (detected) hardware healthy mcp-server/server.json

LabelLayerStatusPath
vps::azure hardware healthy vscode-proofflow/package-lock.json

LabelLayerStatusPath
App frontend healthy frontend/src/App.tsx

LabelLayerStatusPath
auth::scripts/generate_real_docs_output.py security healthy scripts/generate_real_docs_output.py
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.