prove-it

SKILL.md

Claude generates code by pattern-matching on training data. Something can look syntactically perfect, follow best practices, and still be wrong. The model optimizes for "looks right" not "works right." Verification is a separate cognitive step that must be explicitly triggered. This skill closes the loop between implementation and proof.

1. Generation vs Execution I generate code but don't run it. I predict what it would do based on patterns. My confidence comes from "this looks like working code I've seen" not from "I executed this and observed the result."

2. Training Signal Mismatch My training optimizes for plausible next-token prediction, not outcome verification. Saying "Done!" feels natural. Verifying feels like extra work.

タスクの完了を宣言する前に、実際に結果を確認してください。コードを実行します。 修正をテストします。出力を確認します。クロードのトレーニングは、もっともらしく見えるように最適化します 検証済みの正しい出力ではありません。このスキルでは検証ステップが強制されます それは自然なことではありません。証拠がなければ勝利のラップはない。 ソース: elliotjlt/claude-skill-potions。

原文を見る