Claimproof
Description
Two tools for one idea: a check nobody has ever made fail is not a check. claimproof stops an AI agent ending its turn on a claim it cannot back. deadcanary breaks a dbt project's data on purpose to find the data tests that cannot fail.
Installation
This entry records only its repository, not the path inside it, so there is no
exact command to give. Open the source below and copy the folder into
~/.claude/skills/, or the file into ~/.claude/agents/.
README
claimproof
[](https://github.com/Cshearer210/claimproof/actions/workflows/ci.yml) [](https://pypi.org/project/claimproof/) [](https://pypi.org/project/claimproof/) [](https://github.com/Cshearer210/claimproof/blob/main/LICENSE)
**claimproof stops an AI coding agent from ending its turn saying "done" until it shows proof a machine can check.**
Agents report work as finished when it isn't — not by lying, but because a fluent summary and a correct one feel identical from the inside, and nothing in the loop is checking. This runs at the runtime layer, before the turn can end.
**Two packages live here.** `claimproof` is the library above. [**`deadcanary`**](https://github.com/Cshearer210/claimproof/blob/main/packages/deadcanary) asks the same question of a dbt project's data tests — [*"all 20 tests pass"* is a claim too](#the-same-question-asked-of-your-data--deadcanary), and it reads identically whether the data is healthy or the tests cannot fail. It breaks the data on purpose to find out which. `pip install claimproof[dbt]` gets both.
pip install claimproof
python -m claimproof.demo

*The first four acts of `python -m claimproof.demo`, drawn from the demo's real output. `tools/render_demo_svg.py` regenerates this image from a live run and refuses to render if the output drifts — the same standard the library holds everyone else to.*
**Renamed from `agentattest` (2026-08-07).** PyPI refuses names a hyphen away from an existing project, and `agent-attest` — an unrelated agent evaluator
Related Skills
mcp-server-postgres
Read-only PostgreSQL database access.
Data mcp-server-sqlite
SQLite database interaction and querying.
Data mcp-server-google-maps
Google Maps integration for location data.
Data Bitbucket Data Center
---
Data Private Gpt
Complete API layer for private AI applications on local models: RAG, skills, tools, MCP, text-to-sql, and more
Data Csv Data Summarizer
Automatically analyze CSV files and generate comprehensive insights with visualizations
Data