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

cipherinsight/zinnia

https://github.com/cipherinsight/zinnia · scanned 2026-06-17 01:51 UTC (1 month, 1 week ago)

657 raw signals (0 security + 657 graph)

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

Complete repo analysis

Last scanned 1 month, 1 week ago · v2 · last Δ -0.3 (diff) · 639 actionable findings from 1 signal source. 18 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.

JSON
Combined
76.4
/100
Security checks
76
0 findings
System graph
76
55.6% cov · 639 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 389 Medium 9 Low 65 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 0 System graph 639 Crowd 0 Layer: Software 30 Network 2 Security 390 Quality 217

All 6461 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
Layout software healthy docs-site/app/layout.tsx:Layout
Home software healthy docs-site/app/page.tsx:Home
Layout software healthy docs-site/app/docs/layout.tsx:Layout
Page software healthy docs-site/app/docs/[[...slug]]/page.tsx:Page
generateStaticParams software healthy docs-site/app/docs/[[...slug]]/page.tsx:generateStaticParams
generateMetadata software healthy docs-site/app/docs/[[...slug]]/page.tsx:generateMetadata
getMDXComponents software healthy docs-site/components/mdx.tsx:getMDXComponents
baseOptions software healthy docs-site/lib/layout.shared.tsx:baseOptions
_install_stop_signals software healthy tools/fuzz_differential.py:131
_handler software healthy tools/fuzz_differential.py:139
_reset_stop_flag_for_tests software healthy tools/fuzz_differential.py:164
__init__ software healthy tools/fuzz_differential.py:200
note_iteration software healthy tools/fuzz_differential.py:214
ingest_file software healthy tools/fuzz_differential.py:222
shape_coverage_score software healthy tools/fuzz_differential.py:274
to_summary software healthy tools/fuzz_differential.py:283
_reweight_shape_weights software healthy tools/fuzz_differential.py:304
_gen_shape_a software healthy tools/fuzz_differential.py:348
_gen_shape_b software healthy tools/fuzz_differential.py:368
_gen_shape_c software healthy tools/fuzz_differential.py:397
_float_assert_lines software healthy tools/fuzz_differential.py:440
_gen_shape_d software healthy tools/fuzz_differential.py:449
_gen_shape_e software healthy tools/fuzz_differential.py:533
_gen_shape_f software healthy tools/fuzz_differential.py:598
_gen_shape_g software healthy tools/fuzz_differential.py:658
_gen_shape_h software healthy tools/fuzz_differential.py:717
_gen_shape_i software healthy tools/fuzz_differential.py:828
_gen_shape_j software healthy tools/fuzz_differential.py:889
_gen_shape_k software healthy tools/fuzz_differential.py:962
_gen_shape_l software healthy tools/fuzz_differential.py:1056
_gen_shape_m software healthy tools/fuzz_differential.py:1159
_gen_shape_n software healthy tools/fuzz_differential.py:1223
_gen_shape_o software healthy tools/fuzz_differential.py:1267
_gen_shape_p software healthy tools/fuzz_differential.py:1337
_gen_shape_q software healthy tools/fuzz_differential.py:1387
_gen_shape_r software healthy tools/fuzz_differential.py:1436
_gen_shape_s software healthy tools/fuzz_differential.py:1521
_gen_shape_t software healthy tools/fuzz_differential.py:1598
_gen_array software healthy tools/fuzz_differential.py:1612
_gen_shape_u software healthy tools/fuzz_differential.py:1654
gen_program software healthy tools/fuzz_differential.py:1725
_zinnia_child_worker software healthy tools/fuzz_differential.py:1733
run_zinnia software healthy tools/fuzz_differential.py:1909
interpret_outcome software healthy tools/fuzz_differential.py:1977
write_report software healthy tools/fuzz_differential.py:2008
_json_default software healthy tools/fuzz_differential.py:2040
_run_one_iteration software healthy tools/fuzz_differential.py:2054
_write_summary_json software healthy tools/fuzz_differential.py:2163
main software healthy tools/fuzz_differential.py:2216
fibonacci software healthy examples/fibonacci.py:5

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

LabelLayerStatusPath
type-check.sh software healthy type-check.sh
Cargo.toml software healthy Cargo.toml
build.rs software healthy build.rs
requirements.txt software healthy requirements.txt
README.md software healthy README.md
pyproject.toml software healthy pyproject.toml
setup.py software healthy setup.py
Cargo.lock software healthy Cargo.lock
noir_backend.rs software healthy tests/noir_backend.rs
check_tests_compile.sh software healthy scripts/check_tests_compile.sh
check_build_matrix.sh software healthy scripts/check_build_matrix.sh
next.config.mjs software healthy docs-site/next.config.mjs
package-lock.json software healthy docs-site/package-lock.json
postcss.config.mjs software healthy docs-site/postcss.config.mjs
package.json software healthy docs-site/package.json
source.config.ts software healthy docs-site/source.config.ts
next-env.d.ts software healthy docs-site/next-env.d.ts
tsconfig.json software healthy docs-site/tsconfig.json
global.css software healthy docs-site/app/global.css
layout.tsx software healthy docs-site/app/layout.tsx
page.tsx software healthy docs-site/app/page.tsx
route.ts software healthy docs-site/app/api/search/route.ts
layout.tsx software healthy docs-site/app/docs/layout.tsx
page.tsx software healthy docs-site/app/docs/[[...slug]]/page.tsx
mdx.tsx software healthy docs-site/components/mdx.tsx
layout.shared.tsx software healthy docs-site/lib/layout.shared.tsx
source.ts software healthy docs-site/lib/source.ts
meta.json software healthy docs-site/content/meta.json
meta.json software healthy docs-site/content/language/meta.json
meta.json software healthy docs-site/content/getting-started/meta.json
meta.json software healthy docs-site/content/programming-guide/meta.json
meta.json software healthy docs-site/content/compiler-internals/meta.json
meta.json software healthy docs-site/content/contributing/meta.json
meta.json software healthy docs-site/content/data-analytics/meta.json
fuzz_differential.py software healthy tools/fuzz_differential.py
fibonacci.py software healthy examples/fibonacci.py
__init__.py software healthy examples/__init__.py
find_nearest_point.py software healthy examples/find_nearest_point.py
dynamic_bounded_array.py software healthy examples/dynamic_bounded_array.py
sum_over_array.py software healthy examples/sum_over_array.py
flow_sensitive_typing.py software healthy examples/flow_sensitive_typing.py
matrix_dot_prod.py software healthy examples/matrix_dot_prod.py
provenance.rs software healthy src/provenance.rs
ir_ctx.rs software healthy src/ir_ctx.rs
scope.rs software healthy src/scope.rs
ir.rs software healthy src/ir.rs
circuit_input.rs software healthy src/circuit_input.rs
lib.rs software healthy src/lib.rs
builder.rs software healthy src/builder.rs
error.rs software healthy src/error.rs

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

LabelLayerStatusPath
tests software healthy tests
scripts software healthy scripts
docs-site software healthy docs-site
app software healthy docs-site/app
api software healthy docs-site/app/api
search software healthy docs-site/app/api/search
docs software healthy docs-site/app/docs
[[...slug]] software healthy docs-site/app/docs/[[...slug]]
components software healthy docs-site/components
lib software healthy docs-site/lib
content software healthy docs-site/content
language software healthy docs-site/content/language
getting-started software healthy docs-site/content/getting-started
programming-guide software healthy docs-site/content/programming-guide
compiler-internals software healthy docs-site/content/compiler-internals
contributing software healthy docs-site/content/contributing
data-analytics software healthy docs-site/content/data-analytics
tools software healthy tools
examples software healthy examples
src software healthy src
optim software healthy src/optim
tests software healthy src/optim/tests
predicates software healthy src/optim/predicates
tests software healthy src/optim/predicates/tests
resolver software healthy src/optim/resolver
helpers software healthy src/helpers
static_array software healthy src/helpers/static_array
array_ops software healthy src/helpers/array_ops
ir_gen software healthy src/ir_gen
named_attr software healthy src/ir_gen/named_attr
types software healthy src/types
prove software healthy src/prove
halo2 software healthy src/prove/halo2
preprocess software healthy src/prove/preprocess
mock software healthy src/prove/mock
halo2_base software healthy src/prove/halo2_base
noir software healthy src/prove/noir
ast software healthy src/ast
ops software healthy src/ops
cast software healthy src/ops/cast
static_ndarray_ops software healthy src/ops/static_ndarray_ops
comparison software healthy src/ops/comparison
internal software healthy src/ops/internal
dyn_ndarray software healthy src/ops/dyn_ndarray
math_ops software healthy src/ops/math_ops
logical software healthy src/ops/logical
np_like software healthy src/ops/np_like
nocls software healthy src/ops/nocls
arithmetic software healthy src/ops/arithmetic
benchmarking software healthy benchmarking

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

LabelLayerStatusPath
CoverageTracker software healthy tools/fuzz_differential.py:192
CaseResult software healthy benchmarking/run_noir_baselines.py:753
CaseResult software healthy benchmarking/run_zinnia_halo2.py:101
CaseResult software healthy benchmarking/run_halo2_baselines.py:921
TestInputExtractor software healthy benchmarking/generate_ds1000_numpy_kernels.py:241
FunctionFacts software healthy benchmarking/render_contract_review.py:116
ScopeResult software healthy benchmarking/ds1000_numpy_scope.py:204
ScopeVisitor software healthy benchmarking/ds1000_numpy_scope.py:210
V software healthy benchmarking/ds1000_numpy_scope.py:312
CaseResult software healthy benchmarking/run_zinnia_noir.py:104
ReportRow software healthy testing/semantics/array/reporting.py:10
GeneratedCase software healthy testing/semantics/array/generator.py:17
_OracleNP software healthy testing/semantics/array/generator.py:639
ExpectedStatus software healthy testing/semantics/array/manifest.py:11
ArrayMode software healthy testing/semantics/array/manifest.py:18
ShapeCase software healthy testing/semantics/array/manifest.py:25
OperatorCase software healthy testing/semantics/array/manifest.py:75
_AssignVisitor software healthy zinnia/compile/nested_def_lift.py:42
_NameVisitor software healthy zinnia/compile/nested_def_lift.py:84
_NameToConstantTransformer software healthy zinnia/compile/module_constants.py:61
ZinniaCompiler software healthy zinnia/compile/zinnia_compiler.py:17
ZinniaExternalFuncASTTransformer software healthy zinnia/compile/transformer/external_func.py:8
ZinniaCircuitASTTransformer software healthy zinnia/compile/transformer/circuit.py:9
ZinniaChipASTTransformer software healthy zinnia/compile/transformer/chip.py:8
ZinniaBaseASTTransformer software healthy zinnia/compile/transformer/base.py:194
DebugInfo software healthy zinnia/debug/dbg_info.py:1
ASTTransformingException software healthy zinnia/debug/exception/transforming.py:5
InvalidCircuitInputException software healthy zinnia/debug/exception/transforming.py:10
InvalidChipInputException software healthy zinnia/debug/exception/transforming.py:15
InvalidCircuitStatementException software healthy zinnia/debug/exception/transforming.py:20
InvalidProgramException software healthy zinnia/debug/exception/transforming.py:25
InvalidAssignStatementException software healthy zinnia/debug/exception/transforming.py:30
InvalidAnnotationException software healthy zinnia/debug/exception/transforming.py:35
InvalidSlicingException software healthy zinnia/debug/exception/transforming.py:40
InvalidForStatementException software healthy zinnia/debug/exception/transforming.py:45
UnsupportedOperatorException software healthy zinnia/debug/exception/transforming.py:50
UnsupportedConstantLiteralException software healthy zinnia/debug/exception/transforming.py:55
UnsupportedLangFeatureException software healthy zinnia/debug/exception/transforming.py:60
OperatorOrChipNotFoundException software healthy zinnia/debug/exception/transforming.py:65
StatementNoEffectException software healthy zinnia/debug/exception/transforming.py:70
InternalZinniaException software healthy zinnia/debug/exception/base.py:4
ZinniaException software healthy zinnia/debug/exception/base.py:11
ZKExternalFunc software healthy zinnia/api/zk_external_func.py:9
ZKCircuit software healthy zinnia/api/zk_circuit.py:13
ZKChip software healthy zinnia/api/zk_chip.py:9
ZKCompiledProgram software healthy zinnia/api/zk_compiled_program.py:8
ZKProgramInput software healthy zinnia/api/zk_program_input.py:4
Kind software healthy zinnia/api/zk_program_input.py:5
_PredicateMarker software healthy zinnia/spec/predicates.py:19
InternalNDArray software healthy zinnia/internal/internal_ndarray.py:5

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

LabelLayerStatusPath
Layout frontend healthy docs-site/app/layout.tsx
Home frontend healthy docs-site/app/page.tsx
Layout frontend healthy docs-site/app/docs/layout.tsx

LabelLayerStatusPath
port:50 network healthy benchmarking/ds1000_case0334/target.rs
port:20 network healthy benchmarking/ds1000_case0301/target.rs

LabelLayerStatusPath
/page.tsx frontend healthy docs-site/app/page.tsx
/docs/[[...slug]] frontend healthy docs-site/app/docs/[[...slug]]/page.tsx

LabelLayerStatusPath
cipherinsight__zinnia software healthy /data/fable5_failed_archive/cipherinsight__zinnia

LabelLayerStatusPath
4.13.4.0 network healthy requirements.txt
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/895a8f03-856c-4dc9-9f85-e019c1854897/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/895a8f03-856c-4dc9-9f85-e019c1854897/

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.