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
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Results · “correctness”
1–5 / 5
More filters · 1
Results: 5
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
code-review
sandbaseai
Reviews a supplied code path or diff for correctness, security, maintainability, and style without executing or modifying it
CodingClaude Code
639GitHub
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
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.