claim-checking SKILL.md skillA
claim-checking from felipesauer/mnema is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add felipesauer/mnema/claim-checking@git:20261010.a23cbafPins git:20261010.a23cbaf in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- felipesauer/mnema
- Path
packages/stacks/examples/evidence-first/skills/claim-checking/SKILL.md- Versions recorded
- 1
- Latest version
- git:20261010.a23cbaf, committed Oct 10, 2026
- Size
- 1,360 bytes
- Repository stars
- 4
- License
- Apache-2.0
Use before claiming that something is absent, unused or the only one of its kind. Says what a search proves and how to make it prove more.
Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.
What the file 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."
Read the whole file at its exact version.
How to install
mdr add felipesauer/mnema/claim-checking@sha256:105e26d8e5df9eceThe line at the top of this page pins the label git:20261010.a23cbaf, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.
[](https://markdownregistry.com/a/art_zy5n3qninmraksuu)
3 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 1 version of this file, committed on Oct 10, 2026.
Audit of the latest version
- pass: Frontmatter block present
- pass: Frontmatter declares a name
- pass: Frontmatter declares a description
- pass: Size between 200 bytes and 200 KB (1360 bytes)
- pass: No zero-width or bidi control characters
- pass: No instruction hidden inside an HTML comment
- pass: No link to an exfiltration or paste host
- pass: No credential-shaped string
- pass: No instruction to send local credentials anywhere
- pass: No text hidden with inline styles
- pass: No prompt-injection phrasing
- pass: No curl or wget piped into a shell
- pass: No recursive delete of root, home or parent
- pass: No instruction to read or print local credentials
- pass: No base64 blob over 200 characters
- pass: No link to a raw IP address
- pass: No script tag
Source
felipesauer/mnema · 4 stars · license Apache-2.0 · pushed 2026-10-31 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_zy5n3qninmraksuu GET https://markdownregistry.com/api/v1/resolve?ref=felipesauer/mnema/claim-checking GET https://markdownregistry.com/api/v1/blob/105e26d8e5df9ecebb6361303246c18949554e6d22f9285b79eb6daf6169e1ac
Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.
Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.