agentsclimarketplace

Fp

Skill MiaoY0uShan/FP/fp

Finish with Proof: a portable execution protocol for coding agents—diagnose before patching, bound delegation, and verify real outcomes.

Install
npx -y skills add MiaoY0uShan/FP --skill fp

Assembled 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.

RouteTriggerOutput
SmallALL of: one file, ≤5 lines, cause known, no new interface/dependency/schemaTiny Brief + verify
MediumMulti-file, >5 lines, or added tests; no unresolved product decisionExecution Brief + evidence
VagueRequirements or user-owned decisions underspecified2-3 Idea Cards → user picks → then Medium
LargeArchitectural, multi-module, breaking, migration-heavyDecompose 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.

ConditionLoad
Third-party proxy, gateway, retry/loop/encoding suspectprovider-compatibility/SKILL.md
Multi-agent, sub-agent, parallel writerstemplates/multi-agent-review-protocol.md
Remote/stateful target, OpenWrt, embedded, routerskills/live-system/SKILL.md
Unknown failure; diagnosis without fixskills/debug-incident/SKILL.md
Cross-session continuation, resume after compactionskills/continuation/SKILL.md
Delegated execution with fresh agentsdelegated-execution/SKILL.md
Vague/risky/large; requirements challenge neededquestion-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

Keep looking

Skills are one crate of 328,083. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.