push-back-and-verify-assumptions
Treat the operator as a fellow engineer — challenge naive or wrong premises, state assumptions explicitly, keep asking until they are right, and stop rather…
Skill by kasofsk
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/kasofsk-push-back-and-verify-assumptions
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.
About
Reviews
Write a reviewNo 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/push-back-and-verify-assumptions
What's inside
- Skill name
push-back-and-verify-assumptions- Description
- Treat the operator as a fellow engineer — challenge naive or wrong premises, state assumptions explicitly, keep asking until they are right, and stop rather than proceed on a guess. Use when a request is ambiguous or self-contradictory, when the operator's premise looks wrong, before building on an unverified assumption, or when no operator is available to resolve one.
- License
- MIT
- Instructions
- 52 lines in SKILL.md · view on GitHub
Files (1)
- SKILL.md
SKILL.md (first lines)
# Push Back, State Assumptions, Never Guess Silently ## Core principle Treat the operator as a fellow engineer, not a client to be pleased. If the operator is being naive, overly presumptuous, or — especially — explicitly wrong, **push back**. We do not protect operators' feelings at the expense of correctness, and we do not accept fuzzy or contradictory thinking. ## How we get there ### 1. Push back when the operator is wrong Naive requests, unexamined presumptions, and outright errors get challenged directly. Deference that lets a wrong premise sail through is not politeness — it's a correctness failure. A fellow engineer would say "I think that's wrong, here's why"; so should we. ### 2. State your assumptions explicitly Typically, you should state explicitly what you understand of the operator's request — the assumptions you're operating under. Surfacing them turns silent interpretation into something the operator can confirm or correct. ### 3. Ask, and ask, and ask until your assumptions are correct When something is unclear or contradictory, keep asking until the assumptions are actually right. Converging on a shared, correct understanding is the work — not an interruption to it. ### 4. No operator available + unclear or contradictory? Stop. If something is unclear or contradictory and you don't have the option to talk to an operator, **stop**. Do not proceed on a best guess. ### 5. Never build plausibly correct things Never build something *plausibly* correct that forces another agent or the operator to notice your mistake — or else have your wrong assumption encoded forever in the database or the codebase. Plausibly-correct output is the worst output: it passes casual review, and by the time the wrong assumption surfaces, it has hardened into data and code that other things depend on. ## Why this matters A stopped task costs a conversation; a plausibly-wrong merge costs an excavation. Everything upstream in these practices — strict contracts, honest comments, fixed assumptions — depends on the assumptions being *right* in the first place, and the only way to guarantee that is to verify them out loud or halt until someone can.
From kasofsk/blessed-practices, MIT.
More from kasofsk/blessed-practices
- 0.524score
comments-describe-the-code
kasofsk
Write comments about the code itself, never about the prompt, conversation, or moment that produced it — and treat a long justifying comment as a signal the…
SkillBFreshness: BClaude Code +9 - 0.524score
design-with-known-limits
kasofsk
Design systems with explicit correctness limits, failure modes, and operational assumptions instead of automatically engineering every weakness away.
SkillBFreshness: BClaude Code +9 - 0.524score
diminishing-returns
kasofsk
Pursue the highest-value work first and stop when the expected value of the next improvement no longer justifies its full cost.
SkillBFreshness: BClaude Code +9 - 0.524score
domain-modelling
kasofsk
Shape the contents of the domain core — ubiquitous language, aggregates as consistency boundaries, entities versus value objects, making illegal states…
SkillBFreshness: BClaude Code +9 - 0.524score
fix-the-assumption-not-the-hack
kasofsk
When a new feature invalidates an assumption the current design rests on, rethink the pattern rather than land a tweak that technically satisfies the request.
SkillBFreshness: BClaude Code +9 - 0.524score
idiomatic-by-default
kasofsk
Take the community-standard path for the language, framework, or ecosystem unless there is an articulable reason not to, and don't escalate a decision the…
SkillBFreshness: BClaude Code +9 - 0.524score
illegal-states-unrepresentable
kasofsk
Make illegal states unrepresentable with precise types, discriminated variants, and boundary parsing.
SkillBFreshness: BClaude Code +9 - 0.524score
layering
kasofsk
Decide where code goes and which way its dependencies point — inward-pointing source dependencies, what the domain, application, adapter and infrastructure…
SkillBFreshness: BClaude Code +9 - 0.524score
modular-and-layered-code
kasofsk
Architect so a future agent can act at a single layer — strict tested contracts between layers, testing concentrated at domain boundaries, pure logic kept…
SkillBFreshness: BClaude Code +9 - 0.524score
write-the-present-not-the-diff
kasofsk
Write prose that states what is true now, without narrating the correction, the superseded claim, or the path that got there.
SkillBFreshness: BClaude Code +9 - 0.494score
dependencies
kasofsk
Add, remove, upgrade, or pin a dependency with the ecosystem's package manager instead of hand-editing the manifest.
SkillBFreshness: BClaude Code +9
Signals
- Stars
- 0
- Forks
- 1
- Open issues
- 0
- Last commit (this folder)
- Aug 20, 2026 (2 months ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- MIT
- Repository
- github.com/kasofsk/blessed-practices
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
More from kasofsk
- 0.524score
comments-describe-the-code
kasofsk
Write comments about the code itself, never about the prompt, conversation, or moment that produced it — and treat a long justifying comment as a signal the…
SkillBFreshness: BClaude Code +9 - 0.524score
design-with-known-limits
kasofsk
Design systems with explicit correctness limits, failure modes, and operational assumptions instead of automatically engineering every weakness away.
SkillBFreshness: BClaude Code +9 - 0.524score
diminishing-returns
kasofsk
Pursue the highest-value work first and stop when the expected value of the next improvement no longer justifies its full cost.
SkillBFreshness: BClaude Code +9 - 0.524score
domain-modelling
kasofsk
Shape the contents of the domain core — ubiquitous language, aggregates as consistency boundaries, entities versus value objects, making illegal states…
SkillBFreshness: BClaude Code +9 - 0.524score
fix-the-assumption-not-the-hack
kasofsk
When a new feature invalidates an assumption the current design rests on, rethink the pattern rather than land a tweak that technically satisfies the request.
SkillBFreshness: BClaude Code +9 - 0.524score
idiomatic-by-default
kasofsk
Take the community-standard path for the language, framework, or ecosystem unless there is an articulable reason not to, and don't escalate a decision the…
SkillBFreshness: BClaude Code +9
Cite this page
push-back-and-verify-assumptions skill. Agent Mart. https://agentmart.dev/skills/kasofsk-push-back-and-verify-assumptions (last updated 2026-10-24)