Portable agent skill · One Markdown file
if asks an agent to cut redundancy—never what the answer needs to
be correct, safe, clear, and complete.
Illustrative edit — not benchmark output.
How do I delete a local Git branch named demo?
Sure—to delete the local Git branch named demo, run this
command:
git branch -d demo
The -d flag protects unmerged work. If Git refuses, you can
use -D, but only when you intentionally accept losing those
commits.
ifgit branch -d demo
Git refuses if demo has unmerged commits; use
-D only if you intentionally accept losing them.
Method
Brevity never outranks correctness, safety, requirements, material facts, or uncertainty.
Remove greetings, restatement, repetition, decoration, and unrequested process narration.
Preserve code, commands, errors, values, URLs, identifiers, and required formats when their exact form matters.
Install
Download SKILL.md and save it here. The base directory depends on
your compatible agent host.
<agent-skills-directory>/if/SKILL.md
Source
Read the skill, inspect the benchmark methodology, and contribute cases on GitHub. The benchmark is under active development; no public benchmark result is available yet.