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

QEDGen/qedsvm

https://github.com/QEDGen/qedsvm · scanned 2026-06-15 23:42 UTC (2 months, 4 weeks ago)

23 raw signals (16 security + 7 graph)

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

Complete repo analysis

Last scanned 2 months, 4 weeks ago · v1 · 12 actionable findings from 2 signal sources. 37 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.

JSON
Combined
99.1
/100
Security checks
99
5 findings
System graph
99
55.6% cov · 7 findings
Critical
1
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 1 High 2 Medium 4 Low 3 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 5 System graph 7 Crowd 0 Layer: Quality 9 Security 2 Frontend 1

All 281 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
lake-manifest.json software healthy lake-manifest.json
README.md software healthy README.md
LICENSE software healthy LICENSE
PIPELINE.md software healthy docs/PIPELINE.md
API.md software healthy docs/API.md
COVERAGE.md software healthy docs/COVERAGE.md
capture_trace.sh software healthy scripts/capture_trace.sh
README.md software healthy examples/README.md
build.yml software healthy .github/workflows/build.yml
Cargo.toml software healthy qedsvm-rs/Cargo.toml
README.md software healthy qedsvm-rs/README.md
build.rs software healthy qedsvm-rs/build.rs
Cargo.lock software healthy qedsvm-rs/Cargo.lock
Cargo.toml software healthy qedsvm-rs/lean-bridge/Cargo.toml
lean_glue.c software healthy qedsvm-rs/lean-bridge/lean_glue.c
build.rs software healthy qedsvm-rs/lean-bridge/build.rs
lib.rs software healthy qedsvm-rs/lean-bridge/src/lib.rs
lean_ffi.rs software healthy qedsvm-rs/lean-bridge/src/lean_ffi.rs
qedmeta.md software healthy qedsvm-rs/spec/qedmeta.md
noop_smoke.rs software healthy qedsvm-rs/tests/noop_smoke.rs
pinocchio_program_error.rs software healthy qedsvm-rs/tests/pinocchio_program_error.rs
sysvar_buffer_pins.rs software healthy qedsvm-rs/tests/sysvar_buffer_pins.rs
rent_enforcement.rs software healthy qedsvm-rs/tests/rent_enforcement.rs
byte_increment_smoke.rs software healthy qedsvm-rs/tests/byte_increment_smoke.rs
svm_api.rs software healthy qedsvm-rs/tests/svm_api.rs
diff_mollusk.rs software healthy qedsvm-rs/tests/diff_mollusk.rs
precompile_dispatch.rs software healthy qedsvm-rs/tests/precompile_dispatch.rs
serialize_round_trip.rs software healthy qedsvm-rs/tests/serialize_round_trip.rs
curve_ffi_probe.rs software healthy qedsvm-rs/tests/curve_ffi_probe.rs
thread_safety.rs software healthy qedsvm-rs/tests/thread_safety.rs
crypto_size_pins.rs software healthy qedsvm-rs/tests/crypto_size_pins.rs
smoke.rs software healthy qedsvm-rs/tests/smoke.rs
spl_token.codama.json software healthy qedsvm-rs/tests/fixtures/spl_token.codama.json
two_op.qedidl.toml software healthy qedsvm-rs/tests/fixtures/two_op.qedidl.toml
README.md software healthy qedsvm-rs/tests/fixtures/README.md
vault_blob.codama.json software healthy qedsvm-rs/tests/fixtures/vault_blob.codama.json
p_token.transfer.recovered.qedmeta.toml software healthy qedsvm-rs/tests/fixtures/p_token.transfer.recovered.qedmeta…
vault.codama.json software healthy qedsvm-rs/tests/fixtures/vault.codama.json
p_token.qedmeta.toml software healthy qedsvm-rs/tests/fixtures/p_token.qedmeta.toml
p_token.qedoverlay.toml software healthy qedsvm-rs/tests/fixtures/p_token.qedoverlay.toml
Cargo.toml software healthy qedsvm-rs/tests/fixtures/counter_src/Cargo.toml
lib.rs software healthy qedsvm-rs/tests/fixtures/counter_src/src/lib.rs
Cargo.toml software healthy qedsvm-rs/tests/fixtures/cpi_set_return_data_callee_src/Car…
lib.rs software healthy qedsvm-rs/tests/fixtures/cpi_set_return_data_callee_src/src…
Cargo.toml software healthy qedsvm-rs/tests/fixtures/cpi_get_return_data_pubkey_src/Car…
lib.rs software healthy qedsvm-rs/tests/fixtures/cpi_get_return_data_pubkey_src/src…
Cargo.toml software healthy qedsvm-rs/tests/fixtures/oob_log_pubkey_src/Cargo.toml
lib.rs software healthy qedsvm-rs/tests/fixtures/oob_log_pubkey_src/src/lib.rs
Cargo.toml software healthy qedsvm-rs/tests/fixtures/incrementer_src/Cargo.toml
lib.rs software healthy qedsvm-rs/tests/fixtures/incrementer_src/src/lib.rs

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

LabelLayerStatusPath
docs software healthy docs
scripts software healthy scripts
examples software healthy examples
.github software healthy .github
workflows software healthy .github/workflows
qedsvm-rs software healthy qedsvm-rs
lean-bridge software healthy qedsvm-rs/lean-bridge
src software healthy qedsvm-rs/lean-bridge/src
spec software healthy qedsvm-rs/spec
tests software healthy qedsvm-rs/tests
fixtures software healthy qedsvm-rs/tests/fixtures
counter_src software healthy qedsvm-rs/tests/fixtures/counter_src
src software healthy qedsvm-rs/tests/fixtures/counter_src/src
cpi_set_return_data_callee_src software healthy qedsvm-rs/tests/fixtures/cpi_set_return_data_callee_src
src software healthy qedsvm-rs/tests/fixtures/cpi_set_return_data_callee_src/src
cpi_get_return_data_pubkey_src software healthy qedsvm-rs/tests/fixtures/cpi_get_return_data_pubkey_src
src software healthy qedsvm-rs/tests/fixtures/cpi_get_return_data_pubkey_src/src
oob_log_pubkey_src software healthy qedsvm-rs/tests/fixtures/oob_log_pubkey_src
src software healthy qedsvm-rs/tests/fixtures/oob_log_pubkey_src/src
incrementer_src software healthy qedsvm-rs/tests/fixtures/incrementer_src
src software healthy qedsvm-rs/tests/fixtures/incrementer_src/src
cpi_signed_pda_callee_src software healthy qedsvm-rs/tests/fixtures/cpi_signed_pda_callee_src
src software healthy qedsvm-rs/tests/fixtures/cpi_signed_pda_callee_src/src
system_create_account_with_seed_caller_src software healthy qedsvm-rs/tests/fixtures/system_create_account_with_seed_ca…
src software healthy qedsvm-rs/tests/fixtures/system_create_account_with_seed_ca…
curve_msm_probe_src software healthy qedsvm-rs/tests/fixtures/curve_msm_probe_src
src software healthy qedsvm-rs/tests/fixtures/curve_msm_probe_src/src
cpi_signed_pda_caller_src software healthy qedsvm-rs/tests/fixtures/cpi_signed_pda_caller_src
src software healthy qedsvm-rs/tests/fixtures/cpi_signed_pda_caller_src/src
logger_src software healthy qedsvm-rs/tests/fixtures/logger_src
src software healthy qedsvm-rs/tests/fixtures/logger_src/src
pda_finder_src software healthy qedsvm-rs/tests/fixtures/pda_finder_src
src software healthy qedsvm-rs/tests/fixtures/pda_finder_src/src
oob_clock_sysvar_src software healthy qedsvm-rs/tests/fixtures/oob_clock_sysvar_src
src software healthy qedsvm-rs/tests/fixtures/oob_clock_sysvar_src/src
cpi_caller_src software healthy qedsvm-rs/tests/fixtures/cpi_caller_src
src software healthy qedsvm-rs/tests/fixtures/cpi_caller_src/src
halfword_store_src software healthy qedsvm-rs/tests/fixtures/halfword_store_src
src software healthy qedsvm-rs/tests/fixtures/halfword_store_src/src
oob_create_pda_src software healthy qedsvm-rs/tests/fixtures/oob_create_pda_src
src software healthy qedsvm-rs/tests/fixtures/oob_create_pda_src/src
noop_src software healthy qedsvm-rs/tests/fixtures/noop_src
src software healthy qedsvm-rs/tests/fixtures/noop_src/src
oob_sha256_src software healthy qedsvm-rs/tests/fixtures/oob_sha256_src
src software healthy qedsvm-rs/tests/fixtures/oob_sha256_src/src
oob_rent_sysvar_src software healthy qedsvm-rs/tests/fixtures/oob_rent_sysvar_src
src software healthy qedsvm-rs/tests/fixtures/oob_rent_sysvar_src/src
vault_split_src software healthy qedsvm-rs/tests/fixtures/vault_split_src
src software healthy qedsvm-rs/tests/fixtures/vault_split_src/src
oob_poseidon_input_src software healthy qedsvm-rs/tests/fixtures/oob_poseidon_input_src

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

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

LabelLayerStatusPath
gha::build cicd healthy .github/workflows/build.yml

LabelLayerStatusPath
lake-build cicd healthy .github/workflows/build.yml
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/d94ce136-36ba-4c35-90f7-56f9f04e3c85/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/d94ce136-36ba-4c35-90f7-56f9f04e3c85/

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.