challenging-expert-assumptions
Examines the assumptions and evidence behind categorical technical claims.
Skill by edmundmiller
Chalk Labs
Need help deploying challenging-expert-assumptions?
Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.
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/edmundmiller-challenging-expert-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
Use cases: design
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 and code. 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/challenging-expert-assumptions
What's inside
- Skill name
challenging-expert-assumptions- Description
- Examines the assumptions and evidence behind categorical technical claims. Use when an expert says an approach is impossible, a design review stalls on received wisdom, or changed conditions may invalidate an earlier conclusion.
- License
- MIT
- Instructions
- 80 lines in SKILL.md · view on GitHub
Files (2)
- SKILL.md
- source.md · references/
SKILL.md (first lines)
# Challenging Expert Assumptions Find whether a technical claim applies to this problem, and what evidence would change the conclusion. The goal is a better decision, not defeating the expert. Use for a consequential disputed claim, not routine fact lookup or brainstorming. Do not use this to bypass permissions, safety rules, legal requirements, or a user's settled constraints. An alternative outside those constraints is not a solution to the requested problem. Routine formatting needs no claim audit. Keep the user's settled objective. Use `auditing-decision-data` for observation reliability and `stress-testing-metrics` for score/outcome alignment; do not run all three by default. ## Workflow 1. **Pin down the claim and decision.** Read the supplied evidence first. State the claim precisely: impossible under which conditions, or merely expensive, unsupported, unreliable, or undesirable? Identify the outcome the user needs. If a missing fact would change the analysis, ask one focused question rather than inventing an answer. Do not turn a well-specified request into an interview. 2. **Reconstruct the strongest supporting argument.** Locate the proof, measurement, documentation, or experience behind the claim. Distinguish what you inspected from what someone reported. If the source is unavailable, mark that gap and keep the conclusion conditional. Do not invent citations or substitute an expert's status for their reasoning. 3. **Expose the load-bearing assumptions.** For each assumption that could change the decision, identify its evidence and whether it still holds here. Consider changes in technology, scale, inputs, cost, or operating conditions. Separate fixed requirements from inherited implementation choices. An impossibility proof outside its assumptions no longer settles the question; that does not establish that the proposed alternative works. 4. **Seek a discriminating check.** Ask what observation would count against each of the original claim and the proposed alternative. Prefer a small local experiment, counterexample, limiting case, or authoritative lookup that separates them. State the expected outcomes before testing. An analogy may suggest the check, but cannot serve as its evidence. Run a check only when available and authorized; otherwise describe it as proposed, not completed. 5. **Close the decision.** Report whether the claim holds within the relevant scope, is too broad, is contradicted by evidence, or remains unresolved. State what follows for the user's decision and the smallest useful next action. Stop if the evidence supports the claim; do not manufacture an unconventional alternative. If evidence is insufficient, bound the remaining investigation rather than recommending indefinite exploration. ## Output Keep the result proportional to the decision. Normally return: - **Claim and scope:** the precise statement being assessed. - **Assumptions and evidence:** only the conditions that affect the conclusion, with source references and material gaps. - **Check:** predicted distinguishing outcomes, then observed results if run. - **Decision:** conclusion, uncertainty, and next action. Do not claim a test passed when only a test plan exists. A requirement change must be explicit and accepted, not hidden inside a clever workaround. ## Examples - “A fixed-length one-bit code cannot losslessly encode all three possible values.” With no side information and all three values allowed, two codewords cannot distinguish three values. Uphold the claim of impossibility; compression or a different encoding does not evade the bound. - “The vendor says this service cannot exceed 100 requests per second.” Read whether the limit is per account, region, or instance before extrapolating. Do not assume sharding works or evade a contractual limit. Missing vendor documentation leaves the scope unresolved. ## Provenance Read [the source notes](references/source.md) when explaining the derivation or revising this skill. The workflow is our adaptation, not a procedure Hamming specified or an empirically validated framework.
From edmundmiller/dotfiles, MIT.
More from edmundmiller/dotfiles
- 0.673score
build-audit-logs
edmundmiller
Build or review audit trails in TypeScript/JavaScript apps using evlog (pipelines, typed actions, denials, retention, compliance-style reviews).
SkillAFreshness: A★ 80Claude Code +9 - 0.671score
analyze-logs
HugoRCD
Analyze application logs from the .evlog/logs/ directory.
SkillAFreshness: A★ 80Claude Code +9 - 0.671score
excalidraw-cli
edmundmiller
Create, inspect, update, and locally render Excalidraw scenes with the Excalidraw CLI.
SkillAFreshness: A★ 80Claude Code +9 - 0.668score
code-search
edmundmiller
Compares semantic, text, and structural search strategies.
SkillAFreshness: A★ 80Claude Code +9 - 0.665score
verify
edmundmiller
Verify dotfiles changes at runtime without switching the system.
SkillAFreshness: A★ 80Claude Code +9 - 0.636score
auditing-decision-data
edmundmiller
Checks whether observations support a consequential decision.
SkillBFreshness: B★ 80Claude Code +9 - 0.633score
done
edmundmiller
Close an explicit repository task by shaping, landing, publishing, proving, and cleaning it up; also handles narrower commit, publish, and…
SkillBFreshness: B★ 80Claude Code +9 - 0.633score
hass-config-flow
edmundmiller
Uses Home Assistant APIs on NixOS for integration config flows, entity/device inspection, and token setup.
SkillBFreshness: B★ 80Claude Code +9 - 0.633score
derive-web-api-client
edmundmiller
Derives a task-focused API client from authorized HAR/browser traffic.
SkillBFreshness: B★ 80Claude Code +9 - 0.633score
honcho-integration
edmundmiller
Integrates Honcho memory into Python or TypeScript agents.
SkillBFreshness: B★ 80Claude Code +9 - 0.633score
home-assistant-best-practices
edmundmiller
Selects Home Assistant automation, helper, device-control, and dashboard patterns.
SkillBFreshness: B★ 80Claude Code +9 - 0.633score
hass-declarative
edmundmiller
Manages Nix-owned HA automations, scenes, scripts, and entity identity.
SkillBFreshness: B★ 80Claude Code +9
Signals
- Stars
- 80
- Forks
- 6
- Open issues
- 4
- Last commit (this folder)
- Sep 16, 2026 (1 month ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- MIT
- Repository
- github.com/edmundmiller/dotfiles
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
More from edmundmiller
- 0.673score
build-audit-logs
edmundmiller
Build or review audit trails in TypeScript/JavaScript apps using evlog (pipelines, typed actions, denials, retention, compliance-style reviews).
SkillAFreshness: A★ 80Claude Code +9 - 0.671score
excalidraw-cli
edmundmiller
Create, inspect, update, and locally render Excalidraw scenes with the Excalidraw CLI.
SkillAFreshness: A★ 80Claude Code +9 - 0.668score
code-search
edmundmiller
Compares semantic, text, and structural search strategies.
SkillAFreshness: A★ 80Claude Code +9 - 0.665score
verify
edmundmiller
Verify dotfiles changes at runtime without switching the system.
SkillAFreshness: A★ 80Claude Code +9 - 0.636score
auditing-decision-data
edmundmiller
Checks whether observations support a consequential decision.
SkillBFreshness: B★ 80Claude Code +9 - 0.633score
home-assistant-best-practices
edmundmiller
Selects Home Assistant automation, helper, device-control, and dashboard patterns.
SkillBFreshness: B★ 80Claude Code +9
Done for you
Rather not set it up yourself?
Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.
See how we build AI agents →Read the case studies
Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.
- launches shipped
- 50+
- launches shipped
- media placements
- 500+
- media placements
- founders on every account
- 2
- founders on every account
Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block
Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.
Get challenging-expert-assumptions running in your business
Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.
Cite this page
challenging-expert-assumptions skill. Agent Mart. https://agentmart.dev/skills/edmundmiller-challenging-expert-assumptions (last updated 2026-10-24)