code-review
anthropics
Review code changes for security, performance, and correctness. Trigger with a PR URL or diff, "review this before I merge", "is this code safe?", or when checking a cha…
SecurityClaude Code
24.3KGitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Results · “correctness”
1–13 / 13
More filters
Results: 13
Phan
phan
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
CodingReview before use
5.6KGitHub
Bombadil
antithesishq
Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
1.4KGitHub
doubt-driven-development
addyosmani
Subjects every non-trivial decision to a fresh-context adversarial review before it stands. Use when correctness matters more than speed, when working in unfamiliar code…
SecurityClaude Code
91.4KGitHub
seam-craft
heygen-com
Render-correctness doctrine for scene-to-scene seams in HyperFrames launch videos — the prerequisites that make transitions composite correctly on the master timeline. L…
ResearchClaude Code
48KGitHub
review-pr
trailofbits
Reviews the current branch's changes against its base branch as a pull request: correctness of new and modified code, test coverage for it, and documentation accuracy. U…
CodingClaude Code
6.9KGitHub
authoring-github-workflows
dotnet
Author and review GitHub Actions workflow YAML safely so syntactically-valid YAML can't ship a workflow that GitHub Actions refuses to run. USE FOR: editing, adding, or…
ResearchClaude Code
5.3KGitHub
ui-test
browserbase
AI-powered adversarial UI testing via the browse CLI. Analyzes git diffs to test only what changed, or explores the full app to find bugs. Tests functional correctness,…
3.7KGitHub
blog-locale-audit
AgriciDaniel
Audit a directory of multilingual blog content for completeness, consistency, hreflang correctness, meta-tag parity, and freshness. Builds a translation coverage matrix,…
SecurityClaude Code
2KGitHub
Token Diet
Kulaxyz
Always-on token-efficiency skill for coding agents (Claude Code, Codex, Cursor, Windsurf, Cline). ~31% lower bill on average, no loss of correctness.
556GitHub
mariadb-operator-pr-review
mariadb-operator
Perform a structured maintainer-style PR review for the mariadb-operator repository. Gathers PR context, triages the change, and evaluates correctness, safety, pitfalls,…
CodingClaude Code
1KGitHub
ln-25-persistence-auditor
levnikolaevich
Audits queries, transactions, data-path performance, and persistence resource lifecycle. Use when data correctness or scalability is at risk; not for general performance…
SecurityClaude Code
556GitHub
ln-34-benchmark-comparator
levnikolaevich
Compares tools or implementations through reproducible A/B workloads, correctness oracles, and controlled measurements. Use to choose alternatives; not to optimize a kno…
DesignClaude Code
556GitHub
External platform skills
Browse external directory →Owner-curated external sources. Not filtered by the scores or compatibility controls above; excluded from GitHub rankings and automatic installation.
No external entries match this query.