claim-checking

claim-checking is a skill for Claude Code, Codex from felipesauer/mnema. It costs 34 tokens per session (323 once invoked), scanned A, original, Apache-2.0.

A guide for checking claims about code, such as saying that something is absent, unused, or unique. It explains how to search identifiers and aliases, inspect all results, and state what the search did not cover.

In plain words
What is it for?
Use it before reporting that code has no callers, is unused, or appears in only one place. It helps document the exact search and its limits.
Why use it?
It prevents searches from being treated as proof when they missed generated files, configuration, tests, other languages, or alternate names.

Skill for Claude CodeCodex

Written for no agent in particular: nothing here depends on one.

Good fit Use it before reporting that code has no callers, is unused, or appears in only one place. It helps document the exact search and its limits.

Compare 6 skills from other repositories ↓
Install with agentmods
npx agentmods add skills/felipesauer/mnema/claim-checking
Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

Any agent
npx skills add felipesauer/mnema --skill claim-checking
Clone the repo
git clone --depth 1 https://github.com/felipesauer/mnema

Made for: Claude Code, Codex.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for claim-checking

README.md
[![agentmods](https://agentmods.dev/badge/skills/felipesauer/mnema/claim-checking/github.svg)](https://agentmods.dev/skills/felipesauer/mnema/claim-checking)
Your own site
<a href="https://agentmods.dev/skills/felipesauer/mnema/claim-checking"><img src="https://agentmods.dev/badge/skills/felipesauer/mnema/claim-checking/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for claim-checking

Your own site · 80×15
<a href="https://agentmods.dev/skills/felipesauer/mnema/claim-checking"><img src="https://agentmods.dev/badge/skills/felipesauer/mnema/claim-checking.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 34 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 323 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00034 $0.00323
Opus 5.5 $0.00014 $0.00129
Sonnet 5.5 $0.00007 $0.00065
Haiku 4.5 $0.00003 $0.00032

Measured 6d ago against content hash 105e26d8e5df, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

claim-checking scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 6d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

packages/stacks/examples/evidence-first/skills/claim-checking/SKILL.md · 31 lines

What it actually says

Claim checking

A search that finds nothing proves only that this search found nothing.

Before you say "there is none"

  1. Search by the identifier, not by a phrase around it. Try the spellings the language allows: the plain name, the quoted name, the name inside a string, the name built by concatenation.
  2. Read the whole output. Do not cut it with head or limit the depth of the search; what you did not read is not evidence either way.
  3. Check what the search could not see: ignored or generated folders, files outside the repository, configuration, tests, and other languages in the same tree.
  4. Count. If the number of matches surprises you, open one of them.

Before you say "this is the only place"

Every caller, not the first caller: search for the name, then for each alias and re-export of it. A rule that lives in N places has N places, and the one you did not find is usually the N+1th.

How to report

Write the claim, the search that supports it, and the limit of that search, in that order. "No other caller found by searching parseConfig in src/ and tests/; generated code and scripts/ were not searched."

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 6d ago First seen · 31 lines · 34 tokens per session scan A 105e26d8e5df

Subscribe to this mod's changes

claim-checking is a skill published in the GitHub repository felipesauer/mnema (4 stars, last pushed yesterday), licensed Apache-2.0. It adds 34 tokens to every session and 323 once invoked, about $0.0001 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-10-10.

Related

Other skills, from other repositories

doubt-driven-development

Subjects every non-trivial decision to a fresh-context adversarial review before it stands. Use when you want every assumption cross-examined before proceeding, when stress-testing a plan for hidden failure modes, when correctness matters more than speed, when working in unfamiliar code, when stakes are high…

addyosmani/agent-skills · 96 tokens

systemic-issue-triage

Trigger: new issue, bug report, triage, backlog, issue flood, community report, root cause, dead-end, blocked user. Attack issues by root class, never one-by-one; fixes must shrink the system, not grow it.

Gentleman-Programming/gentle-ai · 57 tokens

issue-root-resolution

Trigger: root audit, atacar la raíz, issue roots, backlog roots, mechanism map, deletion-driven fix, resolver issues de raíz, close outdated issues. Audit and resolve issue clusters by verified root cause.

Gentleman-Programming/gentle-ai · 45 tokens

rdd-defect-workflow

Trigger: RDD, receipt-driven development, review authority, receipt/lineage, correction/recovery, delivery gate/kill switch, bounded review defects. Guide work.

Gentleman-Programming/gentle-ai · 41 tokens

project-check

Existing project health scan — audits Infrastructure, Security, Quality, and Harness setup. Read-only. Use when: '/project-check', 'project health check', 'project audit', 'what\'s missing', 'analyze my project', 'check setup'. Ends with /project-init and /setup recommendations. NOT for new projects (use…

AlexZio00/sovereign-skills · 81 tokens

full-audit

Exhaustive, denominator-driven audit of an entire area (codebase, docs, memory, skills, DB, config). Runs a 6-phase pipeline: scope agreement + prior-map diff -> deterministic sweep (counts/versions/paths/parsing plus cross-index reconciliation) -> parallel read-only content review (citations forced, rule dry-run) ->…

AlexZio00/sovereign-skills · 205 tokens