Freshness gate for AI agents: verify a belief is still true against the live world before you act.
Copy the AI prompt to install this server into Claude Code, Cursor, or another agent β or use 1-click editor setup below.
We haven't yet run this listing's install command through our automated sandbox check. This isn't a red flag β we're steadily working through the catalog.
π‘ Paste the JSON block into your client's configuration file under mcpServers, then restart the application.
Open-source client libraries for Kaval. Register the payers and pages you
care about once. Kaval watches them, extracts structured records against a schema you define, and
delivers each extraction β plus a monthly PDF + manifest rollup β as a webhook the moment it
lands, instead of you polling or re-researching it. check() is the second half: before an agent
acts on one of those facts, send Kaval the action and it answers ALLOW, REVIEW, or BLOCK with a
signed receipt.
Policy engines decide whether an action is permitted under the rules; Kaval verifies whether the facts those rules depend on are still true.
These are thin HTTP clients for the hosted Kaval API (https://api.usekaval.com). Create an API
key at usekaval.com.
| Package | Language | Install | Source |
|---|---|---|---|
@usekaval/kaval | Node / TypeScript | npm i @usekaval/kaval | sdks/node |
kaval | Python | pip install kaval | sdks/python |
@usekaval/mcp | MCP server | npx -y @usekaval/mcp | packages/mcp |
The 0.7.3 portfolio methods are available in the Node SDK and MCP server.
The Python SDK does not yet expose contracts, fact imports, bulletins, or training review.
The primary loop needs no LLM call and no polling loop of your own:
No schema, or want a one-off pull instead of waiting for the next document? createExtractionRun({ publisher_id, period, extraction_schema_id }) requests a single publisher + period run on demand;
getExtractionRun() / listExtractionRuns() report its lifecycle
(processing β retry β succeeded / review_required / failed), and
listExtractionPackages() lists the monthly PDF + manifest rollup each publisher/period is packaged
into. This is the schema-bound successor to the free-text bulletin methods (listBulletins(),
getBulletin()), which are soft-deprecated but keep working.
check() is what you call next, right before an agent acts on a fact this loop delivered β it is
covered in the next section.
0.6 was a breaking release. Nine MCP tools collapsed to seven (before later portfolio/extraction tools landed). The whole verification surface collapsed to one call. Every removed endpoint now answers a structured
410 {"error":"tool_retired","replacement":"/v1/check"}, and the clients translate that into an error that namescheckby name. See Migrating from 0.5.
check() is not required to keep facts current β the webhook loop above does that β but it is the
call to make right before an agent relies on one, because it re-derives the verdict from current
state and hands back a signed receipt:
What comes back:
| field | meaning |
|---|---|
decision | ALLOW (every material fact holds on fresh evidence) Β· REVIEW Β· BLOCK |
reason_codes | why, from a closed eight-code taxonomy |
facts[] | one row per fact: status (holds/changed/unknown), materiality, and the sources it rests on |
receipt | { id, signature, signed_at } β fetch the full signed document with getReceipt(id) |
latency_ms | { compile, lookup, live, total } |
A check on facts a watched source already covers is a database read: no model call, no fetch,
nothing on the wire. A cold check does live research before it answers β search, fetch, adjudicate β
and the server lets that run for up to 100s by default, so give the call room. mode: "fast"
(equivalently max_wait_ms: 0) skips research entirely and reports anything it could not settle as
unknown, which is REVIEW.
The decision table is published, so the receipt's fact list re-derives the verdict offline, and the
Ed25519 public keys are served unauthenticated at GET /v1/proof-verification-keys/:kid β checking a
receipt needs no Kaval account and no API key.
The verifier that does it for you ships inside the SDK: @usekaval/kaval/verify is a
dependency-free subpath export of @usekaval/kaval, and the same package ships a
kaval-receipt-verify CLI. Neither needs a Kaval account, an API key, or Kaval's database; the only
request either can make is for the public keyset, and that request is optional. Hand it a receipt and
a keyset. It answers three questions by default and one optional verdict question:
key_id active or benignly retired, rather than revoked or compromised?fresh, recheck_due, expired, not_yet_issued, or unknown.A valid signature proves who sealed those exact bytes. It does not prove the claim is still true, or that the key is still trusted, which is why the three answers never collapse into one boolean.
Exit 0 means the signature is valid and the key is trusted; a stale receipt still exits 0,
because freshness is a separate fact β pass --require-fresh to make anything but fresh non-zero.
Exit 1 is a completed but unaccepted verification, 2 an input, I/O, or discovery failure. Parse
untrusted receipt text with parseJsonStrict, not JSON.parse: duplicate members and lossy numbers
are evidence, and JSON.parse throws that evidence away before any verifier can see it.
Factual signals from GitHub, npm, and our automated checks β not a rating.
No reviews yet β be the first to share how this listing worked for you.
Showcase your server listing on GitHub or your project documentation. Embed this dynamic SVG badge to highlight official listing status and live engagement.
[](https://allmcps.com/mcp/kaval)<a href="https://allmcps.com/mcp/kaval"><img src="https://allmcps.com/api/badge/kaval?style=directory" alt="Kaval on AllMCPs" /></a>