Skip to content
Agentmart
Submit a tool

dev-pr-check

Check the current branch diff for minimality, correctness with sufficient tests, and repo conventions.

Skill by guan404ming

IndexedApache-2.0★ 1
Write a review

Install

Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.

npx agentmarket install skill/guan404ming-dev-pr-check

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

Check the current branch diff for minimality, correctness with sufficient tests, and repo conventions.

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this skill can do and what it asks for, from its SKILL.md. Checked Oct 25, 2026.

Tools
No tools found
Secrets
None asked for
Install scripts
None found

Network hosts it talks to 1

  • codeload.github.com · found in install command

Files it touches

  • ~/.claude/skills/dev-pr-check

What's inside

Skill name
dev-pr-check
Description
Check the current branch diff for minimality, correctness with sufficient tests, and repo conventions.
License
Apache-2.0
Instructions
43 lines in SKILL.md · view on GitHub

Files (1)

  • SKILL.md

SKILL.md (first lines)

# pr-check - Three-Point Diff Check

Check the current branch diff (committed and working tree) against three criteria. Report findings, then fix violations if the user asks.

## Instructions

0. Detect the default branch: `BASE=$(git remote show upstream 2>/dev/null | sed -n 's/.*HEAD branch: //p') || BASE=main`
1. Run `git diff $BASE...HEAD --stat` and `git status --short` to scope the diff
2. Read the full diff. For every finding, cite `file:line`

## Criteria

### 1. Minimal

- The smallest change that completes the requirement. Flag speculative features, unused exports, dead flexibility, duplication of existing code.
- Comments and docstrings must be extremely simple: at most one line, imperative mood, only for non-obvious *why*. Flag anything longer, anything restating code, and narrating comments.

### 2. Correct with sufficient tests

- Every changed behaviour has a test that fails without the change. No more: do not test pre-existing logic, stdlib, or third-party code. Flag both missing coverage and over-testing.
- Verify tests actually ran and passed. If unverified, say so, never claim.

### 3. Convention

- Code style, comment and docstring style, file naming, and file placement must follow the repo's existing patterns.
- For every convention judgment, name the existing code being mirrored (e.g. "matches `tests/foo/test_bar.py`", "same pattern as `_setup_go_sdk_integration`"). A convention claim without a cited precedent does not count.
- Check repo instruction files (CLAUDE.md, AGENTS.md, contributing docs) for hard rules the diff touches.

## Report

```
**1. Minimal** — <pass/fail>: <findings with file:line, or what was verified>
**2. Correct + tests** — <pass/fail>: <coverage map; note anything unverified>
**3. Convention** — <pass/fail>: <each judgment with its cited precedent>
```

## Rules

- Terse findings, one line each. No essays.
- Honest verdicts: surface known weaknesses and deliberate omissions instead of hiding them.
- Do not invent findings to look thorough; "no issues" is a valid result.

From guan404ming/gmccc, Apache-2.0.

More from guan404ming/gmccc

Signals

Stars
1
Forks
0
Open issues
0
Last commit (this folder)
Jul 3, 2026 (3 months ago)

From GitHub (fetched Oct 24, 2026).

Details

License
Apache-2.0
First seen
Oct 24, 2026
Last checked
Oct 24, 2026

More from guan404ming

Cite this page

dev-pr-check skill. Agent Mart. https://agentmart.dev/skills/guan404ming-dev-pr-check (last updated 2026-10-24)