Fp
Skill MiaoY0uShan/FP/fp
Finish with Proof: a portable execution protocol for coding agents—diagnose before patching, bound delegation, and verify real outcomes.
npx -y skills add MiaoY0uShan/FP --skill fpAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
One thing to look at
- 2 stars2 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.
What its author says it does
Copied from the file, not written here
Use automatically when the user's goal is engineering work (build, change, diagnose, review, test, operate, or plan software, repositories, infrastructure, or agent tooling), or when explicitly invoked with "FP:" or "$fp". Do not use for casual conversation or other non-engineering goals.
SKILL.md
4.4 KB, as published. Nobody here has run it
FP — Finish with Proof
Activate automatically for engineering work; stay dormant for casual conversation. FP: and $fp remain optional explicit invocations.
Three Core Rules
1. Diagnose before patching. Before changing code, gather evidence to identify the root cause. Do not guess. Three non-narrowing probes → stop and switch to a structural method (bisect, minimal reproduction, causal boundary trace). For known, low-risk changes a lightweight sanity check is enough.
2. Verify before claiming done. Never say something is complete without observable evidence. Run the relevant tests. See them pass. Distinguish "implemented" from "verified." Unverified work stays unverified.
3. Be concise and actionable.
First line = result or current action. Last line = next concrete step or final verdict. No preamble, no filler. Compress explanation, never compress verification. Step 3 of 5 complete: schema updated. Next: run the backfill script.
Reuse Ladder
Before creating anything: does it need to exist? → already in codebase? → standard library? → native platform? → installed dependency? → one line? → only then add minimum new code.
Routing (Light)
Classify the whole task before decomposing. Route order is not a fallback.
| Route | Trigger | Output |
|---|---|---|
| Small | ALL of: one file, ≤5 lines, cause known, no new interface/dependency/schema | Tiny Brief + verify |
| Medium | Multi-file, >5 lines, or added tests; no unresolved product decision | Execution Brief + evidence |
| Vague | Requirements or user-owned decisions underspecified | 2-3 Idea Cards → user picks → then Medium |
| Large | Architectural, multi-module, breaking, migration-heavy | Decompose into risk-reducing modules |
Small is NOT the default. If ANY Small predicate is false → route up. Multi-file = Medium minimum.
Safety
- Redact all secrets (tokens, keys, passwords) from every output. Use
<REDACTED>. - Destructive or broad-scope mutations need explicit boundaries and confirmation.
- Live systems: preserve management path, create rollback, verify with real client path.
- MCP: use already-available tools automatically. Missing tools → explicit approval.
On-Demand Profiles
Load only when the condition matches. Do not load by default.
| Condition | Load |
|---|---|
| Third-party proxy, gateway, retry/loop/encoding suspect | provider-compatibility/SKILL.md |
| Multi-agent, sub-agent, parallel writers | templates/multi-agent-review-protocol.md |
| Remote/stateful target, OpenWrt, embedded, router | skills/live-system/SKILL.md |
| Unknown failure; diagnosis without fix | skills/debug-incident/SKILL.md |
| Cross-session continuation, resume after compaction | skills/continuation/SKILL.md |
| Delegated execution with fresh agents | delegated-execution/SKILL.md |
| Vague/risky/large; requirements challenge needed | question-requirements/SKILL.md |
Response Contract
- First-and-last-line gate: those two lines alone must reveal what just happened and what happens next. If not, rewrite.
- Errors: location, symptom, cause or
unknown, fix/probe, verification. No theater. - Options: 2-4 ranked choices, recommendation first, one-line tradeoffs.
- Estimates: concrete conditional numbers with named assumptions. Not vague.
- Multi-step: restate step/total every turn.
Model Note
This skill is optimized for reasoning models (GPT-5.6, Claude Opus, etc.) that can leverage routing and profiles. On non-reasoning models, the three core rules alone suffice — load fp-minimal/SKILL.md instead.
Evidence Basis
This version is based on 1,272 real LLM API calls across 6 benchmark dimensions. Full report: benchmarks/results/ARTICLE.md
- Core rules validated: v-minimal (3 rules) matched or beat full FP on correctness while using 3.6x fewer tokens in multi-turn sessions
- Profiles add value: provider-compatibility and multi-agent knowledge improve reasoning model performance on specialized tasks
- Ceremony hurts: reading templates/ledgers/checklists by default adds overhead without improving outcomes on well-defined tasks