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
100 of your 144 findings came from Repobility's proprietary detections. ✓ Repobility tags below mark them.

Scan timing: clone 1.72s · analysis 19.76s · 4.2 MB · GitHub API rate-limit (preflight)

jsiek/deduce

https://github.com/jsiek/deduce · scanned 2026-06-05 14:50 UTC (5 days, 3 hours ago) · 10 languages

428 raw signals (138 security + 290 graph) 88th percentile · Python · medium (20-100K LoC) System graph score 79 (higher by 4)

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

Complete repo analysis

Last scanned 5 days, 3 hours ago · v2 · 188 actionable findings from 2 signal sources. 95 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.

JSON
Combined
83.8
/100
Security checks
89
69 findings
System graph
79
88.9% cov · 119 findings
Critical
0
click to filter
Agents
6
0 votes
Crowd
0
reported
Score breakdown â 2026-05-18-v5
Component Sub-score Weight Contribution
structure_score 100.0 0.15 15.00
security_score 83.1 0.25 20.77
testing_score 100.0 0.20 20.00
documentation_score 83.0 0.15 12.45
practices_score 72.0 0.15 10.80
code_quality 42.4 0.10 4.24
Overall 1.00 83.3
Severity distribution — click a segment to filter
Active filters: excluding tests × Reset all
Severity: Critical 0 High 10 Medium 21 Low 64 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 69 System graph 119 Crowd 0 Layer: Security 8 Cicd 7 Quality 119 Software 48 Frontend 2 Hardware 3 Api 1
Corpus Intelligence Cross-corpus context (cohort percentile, top patterns, fix plan) is shown only on repositories you own. Sign up and connect your repo to view it.
Scan summary Strongest dependencies (90), testing (85); weakest practices (51), security (62). Most common pattern: dart-print.

Showing 95 of 188 actionable findings. 283 raw detector signals were grouped into reader-sized issues. Click TP / FP to vote on a finding's accuracy — votes adjust the confidence weighting and improve detection across the platform.

high Security checks quality Quality conf 1.00 ✓ Repobility 3 occurrences Missing import: `os` used but not imported
The file uses `os.something(...)` but never imports `os`. This raises NameError at runtime the first time the line executes.
3 files, 3 locations
abstract_syntax/declarations.py:974
gh_pages/scripts/convert.py:422
gh_pages/scripts/index_generate.py:90
high Security checks quality Quality conf 1.00 ✓ Repobility [MINED021] Path Traversal Os Join: os.path.join(user_dir, filename) where filename can contain "../" — directory escape.
Review and fix per the pattern semantics. See CWE-22 / A01:2021 for context.
deduce.py:156
high Security checks security path traversal conf 0.80 [SEC013] Path Traversal — User Input in File Path: User-controlled input used in file path without sanitization. Allows reading arbitrary files.
Use os.path.realpath() and verify the path starts with your expected base directory. Use secure_filename() for uploads.
deduce.py:154
high Security checks software Resource exhaustion conf 1.00 [SEC035] Unbounded Resource Allocation — DoS risk: Allocating resources (buffers, recursion stack, large ranges) based on user input without an upper bound. Attackers send `size=10000000` to exhaust memory, or trigger expensive computation. CWE-770/400. Examples: CVE-2023-44487 (HTTP/2 Rapid Reset), countless YAML/XML billion-laughs variants.
Cap user-controlled sizes BEFORE allocation: size = min(int(request.args.get('n', 100)), MAX_SIZE) Set framework-level limits: Flask: app.config['MAX_CONTENT_LENGTH'] = 10 * 1024 * 1024 FastAPI: use middleware to enforce request size Django: DATA_UPLOAD_MAX_MEMORY_SIZE in settings.py …
lsp/benchmark.py:108
high Security checks software Resource exhaustion conf 1.00 [SEC035] Unbounded Resource Allocation — DoS risk: Allocating resources (buffers, recursion stack, large ranges) based on user input without an upper bound. Attackers send `size=10000000` to exhaust memory, or trigger expensive computation. CWE-770/400. Examples: CVE-2023-44487 (HTTP/2 Rapid Reset), countless YAML/XML billion-laughs variants.
Cap user-controlled sizes BEFORE allocation: size = min(int(request.args.get('n', 100)), MAX_SIZE) Set framework-level limits: Flask: app.config['MAX_CONTENT_LENGTH'] = 10 * 1024 * 1024 FastAPI: use middleware to enforce request size Django: DATA_UPLOAD_MAX_MEMORY_SIZE in settings.py …
deduce.py:257
high Security checks quality Quality conf 1.00 ✓ Repobility 25 occurrences `self.error_base` used but never assigned in __init__
Method `__str__` of class `ParseError` reads `self.error_base`, but no assignment to it exists in __init__ (and no class-level fallback). This raises AttributeError the first time the method runs against an instance.
2 files, 25 locations
lsp/dap_server.py:209, 223, 250, 256, 271, 274, 275, 278, +14 more (24 hits)
error.py:380
high Security checks software dependencies conf 0.90 ✓ Repobility Dockerfile FROM `eecsautograder/ubuntu24:latest` not pinned by digest
`FROM eecsautograder/ubuntu24:latest` resolves the tag at build time. The registry CAN re-push a different image for the same tag, so every build is potentially different. Production images should pin to `image@sha256:...` for reproducibility + supply-chain integrity.
autograder_docker/Dockerfile:1
low Security checks cicd CI/CD security conf 0.90 ✓ Repobility 18 occurrences GitHub Action is tag-pinned rather than SHA-pinned
Action `actions/checkout` pinned to mutable ref `@v4` uses a mutable tag or branch. Pin external actions to a reviewed full commit SHA when the workflow is security-sensitive.
2 files, 18 locations
.github/workflows/static.yml:39, 43, 82, 86, 94 (10 hits)
.github/workflows/test_deduce.yml:16, 19, 80, 83 (8 hits)
CI/CD securitySupply chainGitHub Actions
high Security checks software dependencies conf 0.88 markdown: PYSEC-2026-89
Python-Markdown version 3.8 contain a vulnerability where malformed HTML-like sequences can cause html.parser.HTMLParser to raise an unhandled AssertionError during Markdown parsing. Because Python-Markdown does not catch this exception, any application that processes attacker-controlled Markdown m…
gh_pages/requirements.txt
high System graph security auth conf 1.00 Flask mutation route `deduce_req` without `@login_required` — live_code_vercel_api/api.py:19
Flask route declares POST/PUT/DELETE/PATCH methods without an auth decorator. Add `@login_required` (Flask-Login) or equivalent.
live_code_vercel_api/api.py:19 securityAuth flask unauth route
medium Security checks security auth conf 0.92 [AUC001] No Repobility access matrix policy found: The repository uses web/API frameworks but does not define .repobility/access.yml or equivalent authorization documentation.
The repository uses web/API frameworks but does not define .repobility/access.yml or equivalent authorization documentation.
medium Security checks quality Quality conf 1.00 [SEC123] Production stack trace / debug output exposed: Debug mode left on in production exposes stack traces, environment variables, framework internals — sometimes triggers RCE (Django debug page with arbitrary template eval).
Set DEBUG=False / APP_DEBUG=false in production. Provide a generic 500 handler that logs to backend but returns a sanitized page to clients.
gh_pages/scripts/keywords.py:173
low Security checks quality Error handling conf 0.55 ✓ Repobility 25 occurrences Broad exception handler needs review
This handler catches Exception/BaseException. It is actionable when it swallows errors without logging, re-raising, or returning a structured error. Handlers that intentionally convert exceptions into typed error results should not be treated as high risk.
6 files, 25 locations
lsp/query.py:949, 972, 992, 1234, 1963, 2206, 2383, 2928, +4 more (12 hits)
checker_logic.py:371, 444, 462, 468, 649, 727 (6 hits)
test-deduce.py:467, 505, 519 (3 hits)
checker_types.py:792, 1382 (2 hits)
live_code_vercel_api/api.py:44
lsp/library.py:435
Error handlingquality
medium Security checks cicd CI/CD security conf 0.90 Docker build context has no .dockerignore
Without .dockerignore, build context can include source history, local env files, dependencies, and generated artifacts.
.dockerignore CI/CD securitycontainers
high Security checks cicd CI/CD security conf 0.82 Docker final stage has no non-root USER
Docker images run as root unless the image or Dockerfile switches to a non-root user.
autograder_docker/Dockerfile:1 CI/CD securitycontainers
medium Security checks cicd CI/CD security conf 0.94 Dockerfile base image uses the latest tag
The latest tag is mutable and can change without a code review, producing different images from the same source.
autograder_docker/Dockerfile:1 CI/CD securitycontainers
medium Security checks cicd CI/CD security conf 0.86 Dockerfile separates apt update from install
Splitting apt update and install across layers can reuse stale package indexes and make builds less reliable.
autograder_docker/Dockerfile:3 CI/CD securitycontainers
medium Security checks quality Quality conf 1.00 ✓ Repobility 2 occurrences Mutable default argument in `deduce_file` (list)
`def deduce_file(... = []/{}/set())` — Python's default value is constructed ONCE at function definition time and shared across all calls. Mutating it in one call mutates it for every future call too.
lines 31, 124
deduce.py:31, 124 (2 hits)
medium Security checks software dependencies conf 0.90 npm package `vscode-languageclient` is 2 major version(s) behind (8.1.0 -> 10.0.0)
`vscode-languageclient` is pinned/resolved at 8.1.0 but the latest stable release on the npm registry is 10.0.0 (2 major version(s) behind). Outdated dependencies accumulate unpatched bugs and make future security upgrades harder. This is the version-currency signal Dependabot version-update PRs ra…
editor/vscode/package.json
medium Security checks software dependencies conf 0.90 Python package `flask` is 1 major version(s) behind (2.3.3 -> 3.1.3)
`flask==2.3.3` is 1 major version(s) behind the latest stable release on PyPI (3.1.3). Pinned-but-stale Python dependencies drift away from upstream security and bugfix releases. This is the version-currency signal Dependabot raises.
live_code_vercel_api/requirements.txt:1
medium System graph quality Integrity conf 1.00 `fetch()` without try/.catch or AbortSignal — gh_pages/js/codeUtils.js:132
Bare `fetch(...)` will throw an unhandled rejection on network failure. Wrap in try/catch, attach a `.catch(...)`, or pass an AbortSignal with a timeout.
runtime safetyRobustness
medium System graph hardware Supply chain conf 1.00 Docker base image uses a mutable or implicit tag: eecsautograder/ubuntu24:latest
Container tags can be retagged upstream. Pin production base images to a reviewed digest (`image@sha256:...`) when reproducibility and supply-chain integrity matter.
autograder_docker/Dockerfile:1 containersPinned dependencies
medium System graph hardware Security conf 1.00 Dockerfile runs as root: autograder_docker/Dockerfile
No non-root USER set. Containers running as root expand the blast radius of any vulnerability inside the image.
Container
medium System graph cicd CI/CD security conf 1.00 GitHub Actions workflow grants broad write permissions
CI tokens with write permissions increase blast radius when an action, dependency, or PR workflow is compromised. Prefer job-level least-privilege permissions.
.github/workflows/static.yml CI/CD securitySupply chainGithub actions
medium System graph quality Integrity conf 1.00 Network/subprocess call without timeout or try/except — compiler/compile_prelude.py:86
`subprocess.run(...)` here lacks both a `timeout=` arg and an enclosing try/except. This is exactly the class of bug that took down our git-clone earlier (HTTP/2 stream cancel surfaced as a fatal). Add a `timeout=` and wrap in try/except, or use a wrapper that retries.
runtime safetyRobustness
medium System graph quality Integrity conf 1.00 Network/subprocess call without timeout or try/except — gh_pages/scripts/lib_generate.py:375
`subprocess.run(...)` here lacks both a `timeout=` arg and an enclosing try/except. This is exactly the class of bug that took down our git-clone earlier (HTTP/2 stream cancel surfaced as a fatal). Add a `timeout=` and wrap in try/except, or use a wrapper that retries.
runtime safetyRobustness
medium System graph quality Integrity conf 1.00 Network/subprocess call without timeout or try/except — lsp/benchmark.py:90
`subprocess.run(...)` here lacks both a `timeout=` arg and an enclosing try/except. This is exactly the class of bug that took down our git-clone earlier (HTTP/2 stream cancel surfaced as a fatal). Add a `timeout=` and wrap in try/except, or use a wrapper that retries.
runtime safetyRobustness
medium System graph quality Integrity conf 1.00 Network/subprocess call without timeout or try/except — test-deduce.py:543
`subprocess.run(...)` here lacks both a `timeout=` arg and an enclosing try/except. This is exactly the class of bug that took down our git-clone earlier (HTTP/2 stream cancel surfaced as a fatal). Add a `timeout=` and wrap in try/except, or use a wrapper that retries.
runtime safetyRobustness
medium System graph quality Integrity conf 1.00 Network/subprocess call without timeout or try/except — test/compile/run_determinism.py:40
`subprocess.run(...)` here lacks both a `timeout=` arg and an enclosing try/except. This is exactly the class of bug that took down our git-clone earlier (HTTP/2 stream cancel surfaced as a fatal). Add a `timeout=` and wrap in try/except, or use a wrapper that retries.
runtime safetyRobustness
medium System graph quality Integrity conf 1.00 Network/subprocess call without timeout or try/except — test/compile/run_e2e.py:82
`subprocess.run(...)` here lacks both a `timeout=` arg and an enclosing try/except. This is exactly the class of bug that took down our git-clone earlier (HTTP/2 stream cancel surfaced as a fatal). Add a `timeout=` and wrap in try/except, or use a wrapper that retries.
runtime safetyRobustness
medium System graph quality Integrity conf 1.00 Network/subprocess call without timeout or try/except — test/compile/run_prelude_archive.py:47
`subprocess.run(...)` here lacks both a `timeout=` arg and an enclosing try/except. This is exactly the class of bug that took down our git-clone earlier (HTTP/2 stream cancel surfaced as a fatal). Add a `timeout=` and wrap in try/except, or use a wrapper that retries.
runtime safetyRobustness
medium System graph quality Integrity conf 1.00 Network/subprocess call without timeout or try/except — test/compile/run_separate.py:36
`subprocess.run(...)` here lacks both a `timeout=` arg and an enclosing try/except. This is exactly the class of bug that took down our git-clone earlier (HTTP/2 stream cancel surfaced as a fatal). Add a `timeout=` and wrap in try/except, or use a wrapper that retries.
runtime safetyRobustness
medium System graph security Coverage conf 1.00 No auth library detected
The scanner did not find any standard auth library (JWT, OAuth, NextAuth, Auth0, etc.). Either auth lives in custom code, in a separate service, or is missing.
auth
low Security checks software Race condition conf 1.00 [SEC124] TOCTOU file access (os.access then open): Check-then-use file pattern (access/exists then open) lets an attacker swap the file between check and use (symlink attack). `mktemp` is deprecated for the same reason.
Use `os.open(path, os.O_CREAT | os.O_EXCL | os.O_WRONLY)` for atomic create-only. Use `tempfile.NamedTemporaryFile()` (not `mktemp`). For locking, use `fcntl.flock`.
live_code_vercel_api/api.py:53
low Security checks cicd CI/CD security conf 0.72 4 occurrences Dockerfile installs recommended OS packages
Installing recommended packages often pulls in unnecessary runtime surface area.
lines 6, 7, 9, 10
autograder_docker/Dockerfile:6, 7, 9, 10 (4 hits)
CI/CD securitycontainers
low Security checks quality Quality conf 0.60 4 occurrences Duplicated implementation block across source files
Duplicate implementation blocks are maintenance debt. Keep them visible, but they are not a high-severity defect unless the duplicated logic is security-sensitive or drifting.
4 files, 4 locations
gh_pages/scripts/lib_generate.py:48
lsp/mcp_server.py:36
test/compile/run_lower.py:55
tools/claude_fill_hole/openai_backend.py:22
duplicationquality
low Security checks software dependencies conf 0.88 flask: GHSA-68rp-wp8r-4726
Flask session does not add `Vary: Cookie` header when accessed in some ways
live_code_vercel_api/requirements.txt
low Security checks software dependencies conf 0.90 3 occurrences Python package `lark` is minor version(s) behind (1.2.2 -> 1.3.1)
`lark==1.2.2` is minor version(s) behind the latest stable release on PyPI (1.3.1). Pinned-but-stale Python dependencies drift away from upstream security and bugfix releases. This is the version-currency signal Dependabot raises.
3 files, 3 locations
gh_pages/requirements.txt:2
live_code_vercel_api/requirements.txt:2
requirements.txt:1
low Security checks software dependencies conf 0.90 Python package `markdown` is minor version(s) behind (3.7 -> 3.10.2)
`markdown==3.7` is minor version(s) behind the latest stable release on PyPI (3.10.2). Pinned-but-stale Python dependencies drift away from upstream security and bugfix releases. This is the version-currency signal Dependabot raises.
gh_pages/requirements.txt:1
low System graph hardware Coverage conf 1.00 Containers defined but no K8s/orchestration manifest found
Repo has Dockerfiles/compose but no Kubernetes/Nomad manifests. If the target deployment is K8s, the manifests may live in a separate ops repo.
Deployment
low System graph software Dead code candidate conf 1.00 File has no detected symbols: checker_common.py
Source file with no class/function declarations — possible config, dead code, or scratch file.
low System graph software Dead code candidate conf 1.00 File has no detected symbols: gh_pages/js/code.js
Source file with no class/function declarations — possible config, dead code, or scratch file.
low System graph software Dead code candidate conf 1.00 File has no detected symbols: gh_pages/js/codeKeywords.js
Source file with no class/function declarations — possible config, dead code, or scratch file.
low System graph software Dead code candidate conf 1.00 File has no detected symbols: gh_pages/scripts/code_block_syntax_generator.py
Source file with no class/function declarations — possible config, dead code, or scratch file.
low System graph software Dead code candidate conf 1.00 File has no detected symbols: test/claude_fill_hole/conftest.py
Source file with no class/function declarations — possible config, dead code, or scratch file.
low System graph software Dead code candidate conf 1.00 File has no detected symbols: test/properties/conftest.py
Source file with no class/function declarations — possible config, dead code, or scratch file.
low System graph software Dead code candidate conf 1.00 File has no detected symbols: test/unit/conftest.py
Source file with no class/function declarations — possible config, dead code, or scratch file.
low System graph security security conf 1.00 Insecure pattern 'debug_true' in gh_pages/scripts/keywords.py:173
Found a known-risky pattern (debug_true). Review and replace if possible.
gh_pages/scripts/keywords.py:173 Debug true
low System graph security security conf 1.00 Insecure pattern 'debug_true' in gh_pages/scripts/lib_generate.py:382
Found a known-risky pattern (debug_true). Review and replace if possible.
gh_pages/scripts/lib_generate.py:382 Debug true
low System graph security security conf 1.00 Insecure pattern 'debug_true' in parser.py:60
Found a known-risky pattern (debug_true). Review and replace if possible.
parser.py:60 Debug true
low System graph security security conf 1.00 Insecure pattern 'debug_true' in rec_desc_parser.py:74
Found a known-risky pattern (debug_true). Review and replace if possible.
rec_desc_parser.py:74 Debug true
low System graph quality Integrity conf 1.00 17 occurrences Near-duplicate function bodies in 2 places
Functions with the same first-5-line body hash: checker_proofs.py:gen_conjunct_advice, checker_induction.py:gen_conjunct_advice This is *the* AI-coder failure mode (4× more duplication in vibe-coded repos — see https://jw.hn/ai-code-hygiene). Consolidate or document why they're separate.
17 occurrences
repo-level (17 hits)
duplicatesduplication
low System graph quality Integrity conf 1.00 Near-duplicate function bodies in 3 places
Functions with the same first-5-line body hash: checker_types.py:type_check_call_funty, checker_types.py:type_check_call_helper, checker_types.py:type_check_call This is *the* AI-coder failure mode (4× more duplication in vibe-coded repos — see https://jw.hn/ai-code-hygiene). Consolidate or docume…
duplicatesduplication
low System graph quality Integrity conf 1.00 2 occurrences Near-duplicate function bodies in 6 places
Functions with the same first-5-line body hash: gh_pages/scripts/convert.py:run, gh_pages/scripts/convert.py:run, gh_pages/scripts/convert.py:run, gh_pages/scripts/convert.py:run This is *the* AI-coder failure mode (4× more duplication in vibe-coded repos — see https://jw.hn/ai-code-hygiene). Cons…
2 occurrences
repo-level (2 hits)
duplicatesduplication
low System graph quality Integrity conf 1.00 Old/deprecated-named symbol `_shallow_copy` in lsp/library.py:597
Names with suffixes like `_old`, `_v1`, `_deprecated` usually indicate replaced-but-not-removed code (typical AI-coder leftover). Confirm and delete, or rename if it's the active version.
old markerDead code
low System graph quality Integrity conf 1.00 Old/deprecated-named symbol `tu_v1` in test/claude_fill_hole/test_anthropic_backend.py:348
Names with suffixes like `_old`, `_v1`, `_deprecated` usually indicate replaced-but-not-removed code (typical AI-coder leftover). Confirm and delete, or rename if it's the active version.
old markerDead code
low System graph software Dead code conf 1.00 Possibly dead Python function: base_message
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
error.py:363
low System graph software Dead code conf 1.00 Possibly dead Python function: bold
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
style.py:55
low System graph software Dead code conf 1.00 Possibly dead Python function: bold_blue
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
style.py:66
low System graph software Dead code conf 1.00 Possibly dead Python function: bold_cyan
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
style.py:67
low System graph software Dead code conf 1.00 Possibly dead Python function: bold_green
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
style.py:64
low System graph software Dead code conf 1.00 Possibly dead Python function: bold_yellow
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
style.py:65
low System graph software Dead code conf 1.00 Possibly dead Python function: cyan
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
style.py:60
low System graph software Dead code conf 1.00 Possibly dead Python function: define_term_vars
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
abstract_syntax/env.py:282
low System graph software Dead code conf 1.00 Possibly dead Python function: disable
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
style.py:38
low System graph software Dead code conf 1.00 Possibly dead Python function: expect_fail
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
flags.py:54
low System graph software Dead code conf 1.00 Possibly dead Python function: expect_static_fail
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
flags.py:65
low System graph software Dead code conf 1.00 Possibly dead Python function: facts_to_str
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
checker_logic.py:298
low System graph software Dead code conf 1.00 Possibly dead Python function: greatest_lower_bound
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
abstract_syntax/declarations.py:979
low System graph software Dead code conf 1.00 Possibly dead Python function: green
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
style.py:57
low System graph software Dead code conf 1.00 Possibly dead Python function: handle_sigint
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
deduce.py:27
low System graph software Dead code conf 1.00 Possibly dead Python function: isInt
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
abstract_syntax/literals.py:345
low System graph software Dead code conf 1.00 Possibly dead Python function: make_switch_for
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
abstract_syntax/ops.py:291
low System graph software Dead code conf 1.00 Possibly dead Python function: next_impl_num
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
parser.py:189
low System graph software Dead code conf 1.00 Possibly dead Python function: operator_str
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
abstract_syntax/terms.py:419
low System graph software Dead code conf 1.00 Possibly dead Python function: proof_var_is_defined
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
abstract_syntax/env.py:399
low System graph software Dead code conf 1.00 Possibly dead Python function: red
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
style.py:56
low System graph software Dead code conf 1.00 Possibly dead Python function: replace_anchors
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
gh_pages/scripts/convert.py:207
low System graph software Dead code conf 1.00 Possibly dead Python function: set_default_mark_LHS
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
abstract_syntax/rewrite.py:44
low System graph software Dead code conf 1.00 Possibly dead Python function: set_expect_fail
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
flags.py:57
low System graph software Dead code conf 1.00 Possibly dead Python function: set_expect_static_fail
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
flags.py:68
low System graph software Dead code conf 1.00 Possibly dead Python function: str_of_env
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
checker_logic.py:265
low System graph software Dead code conf 1.00 Possibly dead Python function: term_vars_str
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
abstract_syntax/env.py:135
low System graph software Dead code conf 1.00 Possibly dead Python function: yellow
No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler.
style.py:58
low System graph frontend Frontend quality conf 1.00 Stray `console.log` in TS/JS — gh_pages/js/codeUtils.js:143
Replace with the toast helper, an error boundary, or remove. `console.warn` / `console.error` are acceptable. Why: Hygiene — easy to leak debug output. Rule id: fq.console-leak
Fq console leak
low System graph quality Integrity conf 1.00 Stub function `after_statement` (body is just `pass`/`return`) — lsp/debugger.py:304
Likely an AI scaffold that was never filled in. Remove or implement.
Empty handlerDead code
low System graph quality Integrity conf 1.00 Stub function `collect_exports` (body is just `pass`/`return`) — abstract_syntax/declarations.py:958
Likely an AI scaffold that was never filled in. Remove or implement.
Empty handlerDead code
low System graph quality Integrity conf 1.00 Stub function `reset_label` (body is just `pass`/`return`) — checker_proofs.py:533
Likely an AI scaffold that was never filled in. Remove or implement.
Empty handlerDead code
low System graph api Wiring conf 1.00 Unused endpoint: ANY /deduce
`live_code_vercel_api/api.py` declares `ANY /deduce` but no frontend code we scanned calls it. This is fine if the endpoint serves external clients (mobile app, third-party, server-side webhooks). Otherwise it's dead code — consider removing or documenting who consumes it.
Unused endpoint
low System graph quality Complexity conf 1.00 Very large file: abstract_syntax/terms.py (1939 lines)
Files with >800 lines often hide complexity hotspots and discourage tests.
low System graph quality Complexity conf 1.00 Very large file: checker_pipeline.py (1502 lines)
Files with >800 lines often hide complexity hotspots and discourage tests.
low System graph quality Complexity conf 1.00 Very large file: checker_proofs.py (2112 lines)
Files with >800 lines often hide complexity hotspots and discourage tests.
low System graph quality Complexity conf 1.00 Very large file: checker_types.py (1472 lines)
Files with >800 lines often hide complexity hotspots and discourage tests.
low System graph quality Complexity conf 1.00 Very large file: lsp/query.py (5296 lines)
Files with >800 lines often hide complexity hotspots and discourage tests.
low System graph quality Complexity conf 1.00 Very large file: rec_desc_parser.py (2144 lines)
Files with >800 lines often hide complexity hotspots and discourage tests.
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/f2d99d98-d908-4ba5-a560-fb38bda710cd/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/f2d99d98-d908-4ba5-a560-fb38bda710cd/

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.