Home / ProvableHQ / leo
AI Slop Code RIsk Monitor

ProvableHQ/leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

4.7 Low pattern signal View on GitHub

Maintenance and Governance Review

This report summarizes scanner evidence for ProvableHQ/leo, a Rust project with 4,824 GitHub stars. SynthScan examined 156,847 lines of code across 871 source files, recording 607 pattern matches distributed across 6 syntactic categories. The legacy adjusted pattern signal is 4.7 (Low pattern signal); it is not an authorship estimate.

Use the findings to ask whether maintainers can explain intent, verify dependencies, simplify unnecessary scaffolding, and focus review effort. Risk Payload v1 adds ownership, supply-chain, over-engineering, and review-effort vectors when available. These are prompts for human verification, not probabilities, security findings, or measured maintenance costs.

4.7
Adjusted Signal
4.7
Raw Pattern Score
100%
Time Factor
2026-10-08
Last Push
4.8K
Stars
Rust
Language
156.8K
Lines of Code
871
Files
607
Pattern Hits
2026-10-12
Scan Date
0.00
HC Hit Rate

Risk Review · v3

Use each vector to guide manual verification of the underlying findings.

Cognitive Ownership Risk 16.9/100 · LOW

Can maintainers explain intent, assumptions, and trade-offs? 564 finding(s).

Hallucinated Dependency & Supply Chain Risk 0.0/100 · LOW

Are imports declared and package/API names verified? 0 finding(s).

Agent Over-Engineering Ratio 4.7/100 · LOW

Are wrappers, guards, and repeated structures necessary? 43 finding(s).

PR Review Velocity Impact 20.1/100 · LOW

Which changes need focused human review? 607 finding(s).

What These Metrics Mean

Adjusted Signal
Legacy pattern score normalized per 1,000 scanned lines and multiplied by the repository-level time factor. It is not an estimate of AI authorship.
Raw Pattern Score
Sum of severity- and context-weighted pattern findings before applying the time factor.
Time Factor
A coarse multiplier based on repository last-push metadata. It does not identify when individual code was written.
Pattern Hits
Count of configured pattern findings. Review each location and surrounding code before acting.
HC Hit Rate
High- and critical-severity findings per scanned file. Severity is a configured detector weight, not proof of a vulnerability or authorship.
Lines / Files
Scan coverage denominators used by the legacy normalized score.

Pattern-Signal History

This chart tracks the legacy adjusted pattern score across scan runs. Changes can reflect source changes, scan coverage, or detector/scoring versions; they do not measure AI adoption or prove that a team refactored code. Compare runs only when their scoring versions are compatible. The dashed line tracks the raw pattern-hit count.

Severity Breakdown

Groups findings by configured severity weight. Severity is not a confidence estimate, security rating, or proof that a package is missing. Verify imports against the project's manifests and inspect each finding in its local design context.

CRITICAL 0HIGH 0MEDIUM 49LOW 558

Directory Score Breakdown

This horizontal bar chart shows where configured pattern scores accumulate across directories. Treat the bars as locations to inspect, not as evidence of authorship or code quality. Use the file-level findings to decide whether a directory needs a focused ownership, dependency, complexity, or review check.

Pattern Findings

The scanner identified 607 distinct pattern matches across 6 syntactic categories. Each entry below represents a discrete location in the source code where the engine recorded a detector match to inspect in context. Expand any category row to inspect the individual file paths, line numbers, code snippets, and the lexical context (CODE, COMMENT, or STRING) in which each match was detected.

Reading the findings table: The Severity column indicates the configured finding weight (CRITICAL / HIGH / MEDIUM / LOW). The Context column identifies whether the match occurred inside executable code, an inline comment, or a string literal — legacy comment-context matches receive a ×1.5 score weight. The ⚡ bolt icon marks clustered matches: three or more patterns within a 10-line window, each receiving an additional ×1.5 density multiplier under the legacy scoring model.

Over-Commented Block552 hits · 552 pts
SeverityFileLineSnippetContext
LOWtree-sitter/src/tree_sitter/parser.h1#ifndef TREE_SITTER_PARSER_H_COMMENT
LOWtree-sitter/src/tree_sitter/array.h1#ifndef TREE_SITTER_ARRAY_H_COMMENT
LOWtree-sitter/src/tree_sitter/array.h41 (assert((uint32_t)(_index) < (self)->size), &(self)->contents[_index])COMMENT
LOWtree-sitter/src/tree_sitter/array.h101COMMENT
LOWtree-sitter/src/tree_sitter/array.h121/// callback to determine the order.COMMENT
LOWtree-sitter/src/tree_sitter/array.h281#ifdef _MSC_VERCOMMENT
LOWtree-sitter/src/tree_sitter/alloc.h21#define ts_malloc ts_current_mallocCOMMENT
LOWtree-sitter/src/tree_sitter/alloc.h41#ifndef ts_reallocCOMMENT
LOWcrates/leo-aleo-abi-wasm/src/lib.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/fmt/tests/harness.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/fmt/tests/harness.rs161 expected_path.display()COMMENT
LOWcrates/fmt/tests/harness.rs461 });COMMENT
LOWcrates/fmt/src/format.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/fmt/src/lib.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/fmt/src/lib.rs61/// Used by both the standalone `leo-fmt` binary and `leo fmt` command.COMMENT
LOWcrates/fmt/src/output.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/fmt/src/main.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/tree-sitter-leo/tests/rowan_compat.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/tree-sitter-leo/bindings/rust/lib.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/tree-sitter-leo/bindings/rust/lib.rs21//! tree-sitter [`Parser`], and then use the parser to parse some code:COMMENT
LOWcrates/tree-sitter-leo/bindings/rust/build.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/test_passes.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/test_passes.rs341COMMENT
LOWcrates/passes/src/global_items_collection.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/global_items_collection.rs21//! variables, along with their associated types. It operates only on *resolved*COMMENT
LOWcrates/passes/src/remove_unreachable.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/pass.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/lib.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/global_vars_collection.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/global_vars_collection.rs21//! it inserts constants, mappings, and storage variables into the symbol tableCOMMENT
LOWcrates/passes/src/library_pruning.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/disambiguate.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/const_prop_unroll_and_morphing.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/cei_analysis/cross_layer_taint.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/cei_analysis/mod.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/cei_analysis/ordering.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/cei_analysis/ordering.rs21//! to `Final::run()`). An interaction cedes control to another program'sCOMMENT
LOWcrates/passes/src/storage_lowering/mod.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/storage_lowering/mod.rs21//! `Mapping` instances, and all read/write operations are rewritten as `Mapping::get`, `Mapping::set`, orCOMMENT
LOWcrates/passes/src/storage_lowering/mod.rs41//! storage vec: [u32];COMMENT
LOWcrates/passes/src/storage_lowering/mod.rs61//! Mapping::set(vec__len__, false, $len_var + 1u32);COMMENT
LOWcrates/passes/src/storage_lowering/mod.rs81//!COMMENT
LOWcrates/passes/src/storage_lowering/program.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/storage_lowering/program.rs101 // how the value is stored in lower-level form.COMMENT
LOWcrates/passes/src/storage_lowering/ast.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/storage_lowering/ast.rs101 .get(&value_expr.id())COMMENT
LOWcrates/passes/src/storage_lowering/visitor.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/storage_lowering/visitor.rs421 // No transformation needed for mappings.COMMENT
LOWcrates/passes/src/type_checking/scope_state.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/type_checking/mod.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/type_checking/program.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/type_checking/ast.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/type_checking/ast.rs281 }COMMENT
LOWcrates/passes/src/type_checking/visitor.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/type_checking/visitor.rs41/// Where in the program text a snarkVM-bound access operation is permitted.COMMENT
LOWcrates/passes/src/type_checking/visitor.rs61 /// The state of the current scope being traversed.COMMENT
LOWcrates/passes/src/type_checking/visitor.rs421 arguments.len(),COMMENT
LOWcrates/passes/src/peephole_optimization/mod.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/processing_async/mod.rs1// Copyright (C) 2019-2026 Provable Inc.COMMENT
LOWcrates/passes/src/processing_async/mod.rs21//! This involves:COMMENT
492 more matches not shown…
Decorative Section Separators43 hits · 152 pts
SeverityFileLineSnippetContext
MEDIUMcrates/leo/src/cli/commands/execute.rs791 // ── Warnings ─────────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/deploy.rs231// ── Extracted helpers ───────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/deploy.rs645// ── Single-package deploy ───────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/deploy.rs696// ── Workspace deploy ────────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/deploy.rs862 // ── Configuration ────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/deploy.rs870 // ── Workspace members ───────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/deploy.rs898 // ── Remote dependencies ──────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/deploy.rs907 // ── Actions ──────────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/deploy.rs925 // ── Warnings ─────────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/deploy.rs936// ── Unchanged helpers ───────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/deploy.rs1119 // ── Configuration ────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/deploy.rs1127 // ── Deployment tasks (bullet list) ───────────────────────────────────COMMENT
MEDIUM⚡crates/leo/src/cli/commands/deploy.rs1144 // ── Skipped programs ─────────────────────────────────────────────────COMMENT
MEDIUM⚡crates/leo/src/cli/commands/deploy.rs1152 // ── Remote dependencies ──────────────────────────────────────────────COMMENT
MEDIUM⚡crates/leo/src/cli/commands/deploy.rs1161 // ── Actions ──────────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/deploy.rs1179 // ── Warnings ─────────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/devnet/child_manager.rs65 // ── 1) Polite pass ──────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/devnet/child_manager.rs85 // ── 2) Wait for orderly exit ────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/devnet/child_manager.rs95 // ── 3) Escalate to hard kill for survivors ──────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/devnet/child_manager.rs114 // ── 4) Final reap (avoid zombies) ───────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/devnet/windows_kill_tree.rs48//──────────────────────────────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/devnet/windows_kill_tree.rs50//──────────────────────────────────────────────────────────────────────────────COMMENT
MEDIUM⚡crates/leo/src/cli/commands/devnet/windows_kill_tree.rs128//──────────────────────────────────────────────────────────────────────────────COMMENT
MEDIUM⚡crates/leo/src/cli/commands/devnet/windows_kill_tree.rs130//──────────────────────────────────────────────────────────────────────────────COMMENT
MEDIUM⚡crates/leo/src/cli/commands/devnet/windows_kill_tree.rs137//──────────────────────────────────────────────────────────────────────────────COMMENT
MEDIUM⚡crates/leo/src/cli/commands/devnet/windows_kill_tree.rs139//──────────────────────────────────────────────────────────────────────────────COMMENT
MEDIUM⚡crates/leo/src/cli/commands/devnet/mod.rs121 //───────────────────────────────────────────────────────────────────COMMENT
MEDIUM⚡crates/leo/src/cli/commands/devnet/mod.rs123 //───────────────────────────────────────────────────────────────────COMMENT
MEDIUM⚡crates/leo/src/cli/commands/devnet/mod.rs128 //───────────────────────────────────────────────────────────────────COMMENT
MEDIUM⚡crates/leo/src/cli/commands/devnet/mod.rs130 //───────────────────────────────────────────────────────────────────COMMENT
MEDIUM⚡crates/leo/src/cli/commands/devnet/mod.rs214 //───────────────────────────────────────────────────────────────────COMMENT
MEDIUM⚡crates/leo/src/cli/commands/devnet/mod.rs216 //───────────────────────────────────────────────────────────────────COMMENT
MEDIUM⚡crates/leo/src/cli/commands/devnet/mod.rs224 //───────────────────────────────────────────────────────────────────COMMENT
MEDIUM⚡crates/leo/src/cli/commands/devnet/mod.rs226 //───────────────────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/devnet/mod.rs271 //───────────────────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/devnet/mod.rs273 //───────────────────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/devnet/mod.rs321 //───────────────────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/devnet/mod.rs323 //───────────────────────────────────────────────────────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/devnet/mod.rs415 //────────────── tmux branch ──────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/devnet/mod.rs508 //──────────── background branch ──────────COMMENT
MEDIUMcrates/leo/src/cli/commands/devnet/utilities.rs32 //───────────────── 1. resolve & prepare directories ─────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/devnet/utilities.rs37 //───────────────── 2. `cargo install` into <root> ───────────────────COMMENT
MEDIUMcrates/leo/src/cli/commands/devnet/utilities.rs50 //───────────────── 3. link / copy to requested path ─────────────────COMMENT
Self-Referential Comments5 hits · 15 pts
SeverityFileLineSnippetContext
MEDIUMcrates/parser-rowan/Cargo.toml2# This file is part of the Leo library.COMMENT
MEDIUM.circleci/leo-clean.sh1# Create a new Leo program named `foo`.COMMENT
MEDIUM.circleci/leo-new.sh5# Create a new dummy Leo program and verify run + test work.COMMENT
MEDIUM.circleci/leo-new.sh27# Create a new dummy Leo library and verify build + test work.COMMENT
MEDIUM.circleci/tictactoe/run.sh8# Create a new game.COMMENT
Structural Annotation Overuse4 hits · 6 pts
SeverityFileLineSnippetContext
LOWDEVELOPMENT.md5### Step 1: Install CircleCICOMMENT
LOWDEVELOPMENT.md25### Step 2: Run CircleCICOMMENT
LOWcrates/passes/src/option_lowering/mod.rs130 // Step 1: Extract a usable type nameCOMMENT
LOWcrates/passes/src/option_lowering/mod.rs164 // Step 3: Build symbol that ends with `?`.COMMENT
Verbosity Indicators2 hits · 3 pts
SeverityFileLineSnippetContext
LOWcrates/passes/src/option_lowering/mod.rs130 // Step 1: Extract a usable type nameCOMMENT
LOWcrates/passes/src/option_lowering/mod.rs164 // Step 3: Build symbol that ends with `?`.COMMENT
AI Slop Vocabulary1 hit · 3 pts
SeverityFileLineSnippetContext
MEDIUMcrates/lsp/src/semantics.rs606 // is robust to AST traversal order.COMMENT