verify / yaml
Verifying YAML and CI workflows changes
Files: .yml, .yaml.
Run the checks under every change, add the checks for what your diff touches, then
apply the review prompts for what the tools miss. Usage is measured across
12 scanned repositories that write YAML and CI workflows; prompts come from
295 review discussions.
Run on every change
the tool most YAML and CI workflows repositories run for each check
-
Formatting Layout drift that buries the real change in the diff.
prettier42% · 5 of 12 repos autofixprettier --experimental-cli --write .exit codes, docs, alternatives, where it runs
- Exit codes
0everything formatted1something was not formatted (--check)2prettier error - Commands seen
prettier --experimental-cli --write .pre-commit hook prettier - Runs inpre-commit, ci, local
- Seen inQwenLM/qwen-code, SWE-agent/SWE-agent, astral-sh/ty, openai/codex-security, Azure/Azure-Sentinel
- Docshttps://prettier.io/docs/cli#exit-codes
- Exit codes
-
Linting Bug-prone patterns, unused code and conventions the formatter does not cover.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Type checking Wrong types, unhandled null or None, call signatures broken across modules.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Unit and integration tests Behaviour regressions on the paths the tests exercise.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
Review prompts for every change 21 in total
Add when the change touches
open the ones that describe your diff
Authentication, input handling, secrets, permissions
-
Security scanning Injection, unsafe APIs and tainted data reaching a sink.
codeql33% · 4 of 12 reposruns via GitHub Action github/codeql-action/analyze
exit codes, docs, alternatives, where it runs
- Runs inci
- Alternatives
semgrep8% - Seen inprisma/prisma, QwenLM/qwen-code, bridgecrewio/checkov, Azure/Azure-Sentinel
- Docshttps://github.com/github/codeql
-
Secret scanning Credentials and tokens committed to the repository.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Dependency audit Known-vulnerable or disallowed dependencies and licenses.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
Public APIs, signatures, error paths, nullability
-
Type checking Wrong types, unhandled null or None, call signatures broken across modules.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Unit and integration tests Behaviour regressions on the paths the tests exercise.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Property-based tests Edge-case inputs nobody wrote a test for; invariants over generated data.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
6 more in API, Error Handling, Null Handling — the playbook lists the top 11.
Service and framework code
-
Unit and integration tests Behaviour regressions on the paths the tests exercise.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Version and platform matrix Breakage on a runtime version, OS or feature combination you did not run locally.
ci-matrix42% · 5 of 12 reposanalyze (language: 5)exit codes, docs, alternatives, where it runs
- Commands seen
analyze (language: 5)analyze (ref: 2, language: 1)behavior (node: 2) - Runs inci
- Seen inprisma/prisma, QwenLM/qwen-code, openai/codex-security, bridgecrewio/checkov, Azure/Azure-Sentinel
- Docshttps://docs.github.com/en/actions/how-tos/write-workflows/choose-what-workflows-do/run-job-variations
- Commands seen
Algorithms, parsers, data transforms
-
Property-based tests Edge-case inputs nobody wrote a test for; invariants over generated data.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Fuzzing Crashes, panics and hangs on malformed input, especially in parsers and decoders.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Mutation testing Tests that keep passing whatever the code does.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Proofs and specifications Design-level bugs in protocols and algorithms, checked against a specification.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
Threads, async code, locks, shared state
-
Concurrency model checking Races and orderings that fail only under specific interleavings.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Undefined-behaviour detection Memory-safety and aliasing violations in unsafe code.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Property-based tests Edge-case inputs nobody wrote a test for; invariants over generated data.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
Network calls, retries, timeouts, protocols
-
Unit and integration tests Behaviour regressions on the paths the tests exercise.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Fuzzing Crashes, panics and hangs on malformed input, especially in parsers and decoders.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
1 more in Networking, Axios — the playbook lists the top 6.
UI components and pages
-
End-to-end browser tests User flows broken across components, routing and the network.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Linting Bug-prone patterns, unused code and conventions the formatter does not cover.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
Databases, migrations, caching
-
Unit and integration tests Behaviour regressions on the paths the tests exercise.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Version and platform matrix Breakage on a runtime version, OS or feature combination you did not run locally.
ci-matrix42% · 5 of 12 reposanalyze (language: 5)exit codes, docs, alternatives, where it runs
- Commands seen
analyze (language: 5)analyze (ref: 2, language: 1)behavior (node: 2) - Runs inci
- Seen inprisma/prisma, QwenLM/qwen-code, openai/codex-security, bridgecrewio/checkov, Azure/Azure-Sentinel
- Docshttps://docs.github.com/en/actions/how-tos/write-workflows/choose-what-workflows-do/run-job-variations
- Commands seen
Hot paths and performance
No tool-based check applies. The review prompts below are the verification.
Model, prompt and LLM code
-
Unit and integration tests Behaviour regressions on the paths the tests exercise.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
Logging, metrics, tracing
No tool-based check applies. The review prompts below are the verification.
CI workflows and configuration files
-
CI workflow linting Broken GitHub Actions syntax, script injection, over-broad token permissions.
actionlint17% · 2 of 12 reposactionlint -colorexit codes, docs, alternatives, where it runs
- Commands seen
actionlint -coloractionlint -color github-action/examples/*.ymlpre-commit hook actionlint - Runs inpre-commit, ci
- Alternatives
zizmor17% - Seen inastral-sh/ty, openai/codex-security
- Docshttps://github.com/rhysd/actionlint
- Commands seen
-
File hygiene Invalid JSON, YAML or TOML, merge markers, trailing whitespace, oversized files.
pre-commit-hooks33% · 4 of 12 repos autofixruns via pre-commit hook trailing-whitespace
exit codes, docs, alternatives, where it runs
- Commands seen
pre-commit hook check-merge-conflictpre-commit hook trailing-whitespacepre-commit hook check-added-large-files - Runs inpre-commit, ci
- Seen inTheAlgorithms/Python, SWE-agent/SWE-agent, astral-sh/ty, bridgecrewio/checkov
- Docshttps://github.com/pre-commit/pre-commit-hooks
- Commands seen
162 more in CI/CD, Configurations — the playbook lists the top 12.
Dependencies and lockfiles
-
Dependency audit Known-vulnerable or disallowed dependencies and licenses.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Lockfile consistency A lockfile that no longer matches its manifest.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Version and platform matrix Breakage on a runtime version, OS or feature combination you did not run locally.
ci-matrix42% · 5 of 12 reposanalyze (language: 5)exit codes, docs, alternatives, where it runs
- Commands seen
analyze (language: 5)analyze (ref: 2, language: 1)behavior (node: 2) - Runs inci
- Seen inprisma/prisma, QwenLM/qwen-code, openai/codex-security, bridgecrewio/checkov, Azure/Azure-Sentinel
- Docshttps://docs.github.com/en/actions/how-tos/write-workflows/choose-what-workflows-do/run-job-variations
- Commands seen
The tests themselves
-
Mutation testing Tests that keep passing whatever the code does.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Version and platform matrix Breakage on a runtime version, OS or feature combination you did not run locally.
ci-matrix42% · 5 of 12 reposanalyze (language: 5)exit codes, docs, alternatives, where it runs
- Commands seen
analyze (language: 5)analyze (ref: 2, language: 1)behavior (node: 2) - Runs inci
- Seen inprisma/prisma, QwenLM/qwen-code, openai/codex-security, bridgecrewio/checkov, Azure/Azure-Sentinel
- Docshttps://docs.github.com/en/actions/how-tos/write-workflows/choose-what-workflows-do/run-job-variations
- Commands seen
Documentation and comments
-
Docs build Broken cross-references, links and markup in documentation.
No scanned repository in this language runs a tool for this. Lean on the review prompts.
-
Spelling Typos in identifiers, comments and docs.
codespell8% · 1 of 12 reposruns via pre-commit hook codespell
exit codes, docs, alternatives, where it runs
- Runs inpre-commit, ci
- Seen inTheAlgorithms/Python
- Docshttps://github.com/codespell-project/codespell
2 more in Documentation — the playbook lists the top 7.
Where this comes from
12 scanned repositories with at least a fifth of their prompts in YAML and CI workflows
EbookFoundation/free-programming-books0 · TheAlgorithms/Python7 · Kong/kong0 · prisma/prisma7 · istio/istio1 · QwenLM/qwen-code13 · anthropics/claude-code1 · SWE-agent/SWE-agent6 · astral-sh/ty10 · openai/codex-security15 · bridgecrewio/checkov8 · Azure/Azure-Sentinel6