{"version": "2.1.0", "$schema": "https://json.schemastore.org/sarif-2.1.0.json", "runs": [{"tool": {"driver": {"name": "Repobility", "informationUri": "https://repobility.com", "rules": [{"id": "scanner-ee98c13685cc0f7b", "name": "Possibly dead Python function: wait_for_processing", "shortDescription": {"text": "Possibly dead Python function: wait_for_processing"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-05ff3d92e3f15a9d", "name": "Possibly dead Python function: wait_for_processing_bounded", "shortDescription": {"text": "Possibly dead Python function: wait_for_processing_bounded"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-cd09d851d1fd1e3d", "name": "Possibly dead Python function: file_all_processed", "shortDescription": {"text": "Possibly dead Python function: file_all_processed"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-364de50ad120fefa", "name": "Possibly dead Python function: request_preview", "shortDescription": {"text": "Possibly dead Python function: request_preview"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-7f0084352f99a29d", "name": "Possibly dead Python function: handle_starttag", "shortDescription": {"text": "Possibly dead Python function: handle_starttag"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-82c7d628c7ef9e91", "name": "Possibly dead Python function: handle_endtag", "shortDescription": {"text": "Possibly dead Python function: handle_endtag"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-e9a040ed29eb8faf", "name": "Possibly dead Python function: handle_data", "shortDescription": {"text": "Possibly dead Python function: handle_data"}, "fullDescription": {"text": "No callers detected by AST scan in this repo. Could be exported for external callers or a framework handler."}, "properties": {"scanner": "scanner-primary", "layer": "software", "severity": "low", "confidence": 1.0}}, {"id": "scanner-9710c8d059e53154", "name": "No frontend routes/components detected", "shortDescription": {"text": "No frontend routes/components detected"}, "fullDescription": {"text": "No React/Vue/Next routes were found. This is fine for backend-only repos."}, "properties": {"scanner": "scanner-primary", "layer": "frontend", "severity": "info", "confidence": 1.0}}, {"id": "scanner-6372cebde0220094", "name": "No auth library detected", "shortDescription": {"text": "No auth library detected"}, "fullDescription": {"text": "The scanner did not find any standard auth library (JWT, OAuth, NextAuth, Auth0, etc.). The repo has auth/admin/session surface indicators, so auth may live in custom code, in a separate service, or be missing."}, "properties": {"scanner": "scanner-primary", "layer": "security", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-4601e3ad3bb28677", "name": "No CI/CD pipelines detected", "shortDescription": {"text": "No CI/CD pipelines detected"}, "fullDescription": {"text": "No GitHub Actions, GitLab CI, or CircleCI configs found. Without CI you can't gate deploys on tests/lints."}, "properties": {"scanner": "scanner-primary", "layer": "cicd", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-2df56e52f0de4263", "name": "Very large file: src/isabelle_mcp/lsp_client.py (1582 lines)", "shortDescription": {"text": "Very large file: src/isabelle_mcp/lsp_client.py (1582 lines)"}, "fullDescription": {"text": "Files with >800 lines often hide complexity hotspots and discourage tests."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "confidence": 1.0}}, {"id": "scanner-3ab5d313dda8e5f9", "name": "Debug logging residue appears in source files", "shortDescription": {"text": "Debug logging residue appears in source files"}, "fullDescription": {"text": "Found 41 console/debugger/print-style debug statements in non-test source. This is a common fast-generation residue before production cleanup."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "confidence": 1.0}}, {"id": "scanner-749d4bc1bd66df5f", "name": "Agent instructions exist but release-hardening basics are missing", "shortDescription": {"text": "Agent instructions exist but release-hardening basics are missing"}, "fullDescription": {"text": "AI-coder instruction files were found, but the repo is missing ci. Treat this as a contract gap: the agent is guided, but the generated output is not yet guarded by the controls that make it repeatable."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-ea8f3013f588db25", "name": "Shallow git history limits provenance confidence", "shortDescription": {"text": "Shallow git history limits provenance confidence"}, "fullDescription": {"text": "The repository is a shallow clone. Origin/evolution analysis cannot distinguish fresh generation, imported legacy code, or long-lived human code with high confidence."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "confidence": 1.0}}, {"id": "scanner-8424db9c75e04ba4", "name": "Very short observed git history", "shortDescription": {"text": "Very short observed git history"}, "fullDescription": {"text": "The repo has multiple source files but two or fewer visible commits. This is not a failure by itself, but it lowers confidence in evolution-based diagnosis."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "info", "confidence": 1.0}}, {"id": "scanner-8f11527df62387c7", "name": "Agent authority lacks a verifier contract: .claude/mcp.json", "shortDescription": {"text": "Agent authority lacks a verifier contract: .claude/mcp.json"}, "fullDescription": {"text": "This agent instruction grants code or shell authority but does not state the verification gate that decides promotion. The recurring safe pattern is: LLM proposes; deterministic tests/build/security checks verify; only verified code promotes."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-7a2518dde438070f", "name": "Agent authority lacks a verifier contract: examples/mcp_config.json", "shortDescription": {"text": "Agent authority lacks a verifier contract: examples/mcp_config.json"}, "fullDescription": {"text": "This agent instruction grants code or shell authority but does not state the verification gate that decides promotion. The recurring safe pattern is: LLM proposes; deterministic tests/build/security checks verify; only verified code promotes."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-663131797aaa0ea2", "name": "Commented-code block (5 lines) in tests/test_lsp_client.py:590", "shortDescription": {"text": "Commented-code block (5 lines) in tests/test_lsp_client.py:590"}, "fullDescription": {"text": "A long run of `//` or `#` lines usually means abandoned code. Delete or move to git history. Keeps the canvas + dead-code detection honest."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "info", "confidence": 1.0}}, {"id": "scanner-fc0fa8599b162f5f", "name": "Commented-code block (9 lines) in src/isabelle_mcp/processing.py:15", "shortDescription": {"text": "Commented-code block (9 lines) in src/isabelle_mcp/processing.py:15"}, "fullDescription": {"text": "A long run of `//` or `#` lines usually means abandoned code. Delete or move to git history. Keeps the canvas + dead-code detection honest."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "info", "confidence": 1.0}}, {"id": "scanner-26076fe20930c3db", "name": "Network/subprocess call without timeout or try/except \u2014 src/isabelle_mcp/install.py:75", "shortDescription": {"text": "Network/subprocess call without timeout or try/except \u2014 src/isabelle_mcp/install.py:75"}, "fullDescription": {"text": "`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."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "medium", "confidence": 1.0}}, {"id": "scanner-9c7f9298943ee5ad", "name": "Commented-code block (6 lines) in src/isabelle_mcp/lsp_client.py:395", "shortDescription": {"text": "Commented-code block (6 lines) in src/isabelle_mcp/lsp_client.py:395"}, "fullDescription": {"text": "A long run of `//` or `#` lines usually means abandoned code. Delete or move to git history. Keeps the canvas + dead-code detection honest."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "info", "confidence": 1.0}}, {"id": "scanner-388fd155ff8affa4", "name": "Commented-code block (5 lines) in src/isabelle_mcp/evaluation.py:203", "shortDescription": {"text": "Commented-code block (5 lines) in src/isabelle_mcp/evaluation.py:203"}, "fullDescription": {"text": "A long run of `//` or `#` lines usually means abandoned code. Delete or move to git history. Keeps the canvas + dead-code detection honest."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "info", "confidence": 1.0}}, {"id": "scanner-2c04133e54348533", "name": "Near-duplicate function bodies in 2 places", "shortDescription": {"text": "Near-duplicate function bodies in 2 places"}, "fullDescription": {"text": "Functions with the same first-5-line body hash:\nsrc/isabelle_mcp/utils/core.py:to_lsp, src/isabelle_mcp/utils/core.py:to_lsp\n\nThis is *the* AI-coder failure mode (4\u00d7 more duplication in vibe-coded repos \u2014 see https://jw.hn/ai-code-hygiene). Consolidate or document why they're separate."}, "properties": {"scanner": "scanner-primary", "layer": "quality", "severity": "low", "confidence": 1.0}}]}}, "automationDetails": {"id": "repobility/23054"}, "properties": {"repository": "xqyww123/Isabelle-MCP", "repoUrl": "https://github.com/xqyww123/Isabelle-MCP", "branch": "main"}, "results": [{"ruleId": "scanner-ee98c13685cc0f7b", "level": "note", "message": {"text": "Possibly dead Python function: wait_for_processing"}, "properties": {"repobilityId": "253762354e3fb53a", "scanner": "scanner-primary", "fingerprint": "ee98c13685cc0f7b", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "src/isabelle_mcp/lsp_client.py:1108"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-05ff3d92e3f15a9d", "level": "note", "message": {"text": "Possibly dead Python function: wait_for_processing_bounded"}, "properties": {"repobilityId": "fb6d9eeef8059db4", "scanner": "scanner-primary", "fingerprint": "05ff3d92e3f15a9d", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "src/isabelle_mcp/lsp_client.py:1131"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-cd09d851d1fd1e3d", "level": "note", "message": {"text": "Possibly dead Python function: file_all_processed"}, "properties": {"repobilityId": "ef337270d3736dbd", "scanner": "scanner-primary", "fingerprint": "cd09d851d1fd1e3d", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "src/isabelle_mcp/lsp_client.py:1233"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-364de50ad120fefa", "level": "note", "message": {"text": "Possibly dead Python function: request_preview"}, "properties": {"repobilityId": "a170c747bbe62ec9", "scanner": "scanner-primary", "fingerprint": "364de50ad120fefa", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "src/isabelle_mcp/lsp_client.py:1568"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-7f0084352f99a29d", "level": "note", "message": {"text": "Possibly dead Python function: handle_starttag"}, "properties": {"repobilityId": "3bf216d149959ebf", "scanner": "scanner-primary", "fingerprint": "7f0084352f99a29d", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "src/isabelle_mcp/utils/formatters.py:104"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-82c7d628c7ef9e91", "level": "note", "message": {"text": "Possibly dead Python function: handle_endtag"}, "properties": {"repobilityId": "7eb6f3decafc1766", "scanner": "scanner-primary", "fingerprint": "82c7d628c7ef9e91", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "src/isabelle_mcp/utils/formatters.py:126"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-e9a040ed29eb8faf", "level": "note", "message": {"text": "Possibly dead Python function: handle_data"}, "properties": {"repobilityId": "3a673a278f4fc1e6", "scanner": "scanner-primary", "fingerprint": "e9a040ed29eb8faf", "layer": "software", "severity": "low", "confidence": 1.0, "tags": ["dead-code"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "src/isabelle_mcp/utils/formatters.py:141"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-9710c8d059e53154", "level": "none", "message": {"text": "No frontend routes/components detected"}, "properties": {"repobilityId": "44ca61485762e494", "scanner": "scanner-primary", "fingerprint": "9710c8d059e53154", "layer": "frontend", "severity": "info", "confidence": 1.0, "tags": ["coverage"]}}, {"ruleId": "scanner-6372cebde0220094", "level": "warning", "message": {"text": "No auth library detected"}, "properties": {"repobilityId": "a5b6035a5bbf8054", "scanner": "scanner-primary", "fingerprint": "6372cebde0220094", "layer": "security", "severity": "medium", "confidence": 1.0, "tags": ["coverage", "auth"]}}, {"ruleId": "scanner-4601e3ad3bb28677", "level": "warning", "message": {"text": "No CI/CD pipelines detected"}, "properties": {"repobilityId": "c3ee439bce2bc51e", "scanner": "scanner-primary", "fingerprint": "4601e3ad3bb28677", "layer": "cicd", "severity": "medium", "confidence": 1.0, "tags": ["coverage"]}}, {"ruleId": "scanner-2df56e52f0de4263", "level": "note", "message": {"text": "Very large file: src/isabelle_mcp/lsp_client.py (1582 lines)"}, "properties": {"repobilityId": "bb435d46ca662fd7", "scanner": "scanner-primary", "fingerprint": "2df56e52f0de4263", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["complexity"]}}, {"ruleId": "scanner-3ab5d313dda8e5f9", "level": "note", "message": {"text": "Debug logging residue appears in source files"}, "properties": {"repobilityId": "4575b5534a0b7859", "scanner": "scanner-primary", "fingerprint": "3ab5d313dda8e5f9", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["debug", "cleanup", "repo-hardening", "generated-repo-pattern"]}}, {"ruleId": "scanner-749d4bc1bd66df5f", "level": "warning", "message": {"text": "Agent instructions exist but release-hardening basics are missing"}, "properties": {"repobilityId": "8b172036422131df", "scanner": "scanner-primary", "fingerprint": "749d4bc1bd66df5f", "layer": "quality", "severity": "medium", "confidence": 1.0, "tags": ["agent-instructions", "repo-hardening", "generated-repo-pattern"]}}, {"ruleId": "scanner-ea8f3013f588db25", "level": "note", "message": {"text": "Shallow git history limits provenance confidence"}, "properties": {"repobilityId": "0d09fd983f75adf3", "scanner": "scanner-primary", "fingerprint": "ea8f3013f588db25", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["provenance", "git-history", "generated-repo-pattern"]}}, {"ruleId": "scanner-8424db9c75e04ba4", "level": "none", "message": {"text": "Very short observed git history"}, "properties": {"repobilityId": "777da39f4b999260", "scanner": "scanner-primary", "fingerprint": "8424db9c75e04ba4", "layer": "quality", "severity": "info", "confidence": 1.0, "tags": ["provenance", "git-history", "generated-repo-pattern"]}}, {"ruleId": "scanner-8f11527df62387c7", "level": "warning", "message": {"text": "Agent authority lacks a verifier contract: .claude/mcp.json"}, "properties": {"repobilityId": "8d7a228e44de8a35", "scanner": "scanner-primary", "fingerprint": "8f11527df62387c7", "layer": "quality", "severity": "medium", "confidence": 1.0, "tags": ["agent-instructions", "verification", "mcp_config"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": ".claude/mcp.json"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-7a2518dde438070f", "level": "warning", "message": {"text": "Agent authority lacks a verifier contract: examples/mcp_config.json"}, "properties": {"repobilityId": "acd5f4828f002b14", "scanner": "scanner-primary", "fingerprint": "7a2518dde438070f", "layer": "quality", "severity": "medium", "confidence": 1.0, "tags": ["agent-instructions", "verification", "mcp_config"]}, "locations": [{"physicalLocation": {"artifactLocation": {"uri": "examples/mcp_config.json"}, "region": {"startLine": 1}}}]}, {"ruleId": "scanner-663131797aaa0ea2", "level": "none", "message": {"text": "Commented-code block (5 lines) in tests/test_lsp_client.py:590"}, "properties": {"repobilityId": "df96bccbdab830f2", "scanner": "scanner-primary", "fingerprint": "663131797aaa0ea2", "layer": "quality", "severity": "info", "confidence": 1.0, "tags": ["integrity", "commented-code", "dead-code"]}}, {"ruleId": "scanner-fc0fa8599b162f5f", "level": "none", "message": {"text": "Commented-code block (9 lines) in src/isabelle_mcp/processing.py:15"}, "properties": {"repobilityId": "e8e9662b4c4d4562", "scanner": "scanner-primary", "fingerprint": "fc0fa8599b162f5f", "layer": "quality", "severity": "info", "confidence": 1.0, "tags": ["integrity", "commented-code", "dead-code"]}}, {"ruleId": "scanner-26076fe20930c3db", "level": "warning", "message": {"text": "Network/subprocess call without timeout or try/except \u2014 src/isabelle_mcp/install.py:75"}, "properties": {"repobilityId": "11a93a0782beed63", "scanner": "scanner-primary", "fingerprint": "26076fe20930c3db", "layer": "quality", "severity": "medium", "confidence": 1.0, "tags": ["integrity", "fragile-runtime", "robustness"]}}, {"ruleId": "scanner-9c7f9298943ee5ad", "level": "none", "message": {"text": "Commented-code block (6 lines) in src/isabelle_mcp/lsp_client.py:395"}, "properties": {"repobilityId": "1b6e5110ef79f92a", "scanner": "scanner-primary", "fingerprint": "9c7f9298943ee5ad", "layer": "quality", "severity": "info", "confidence": 1.0, "tags": ["integrity", "commented-code", "dead-code"]}}, {"ruleId": "scanner-388fd155ff8affa4", "level": "none", "message": {"text": "Commented-code block (5 lines) in src/isabelle_mcp/evaluation.py:203"}, "properties": {"repobilityId": "5e21116a46dd900e", "scanner": "scanner-primary", "fingerprint": "388fd155ff8affa4", "layer": "quality", "severity": "info", "confidence": 1.0, "tags": ["integrity", "commented-code", "dead-code"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "729ab894747c2b8a", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}, {"ruleId": "scanner-2c04133e54348533", "level": "note", "message": {"text": "Near-duplicate function bodies in 2 places"}, "properties": {"repobilityId": "57913e6376ebf4a2", "scanner": "scanner-primary", "fingerprint": "2c04133e54348533", "layer": "quality", "severity": "low", "confidence": 1.0, "tags": ["integrity", "duplicate", "dry"]}}]}]}