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.
npx skills add PostOakLabs/ainumbers --skill contract-redline-proofgit clone --depth 1 https://github.com/PostOakLabs/ainumbersWrote 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.
[](https://agentmods.dev/skills/postoaklabs/ainumbers/contract-redline-proof)<a href="https://agentmods.dev/skills/postoaklabs/ainumbers/contract-redline-proof"><img src="https://agentmods.dev/badge/skills/postoaklabs/ainumbers/contract-redline-proof/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.
<a href="https://agentmods.dev/skills/postoaklabs/ainumbers/contract-redline-proof"><img src="https://agentmods.dev/badge/skills/postoaklabs/ainumbers/contract-redline-proof.svg" alt="Reviewed on agentmods" width="80" height="20"></a>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.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00041 | $0.00505 |
| Opus 5.5 | $0.00016 | $0.00202 |
| Sonnet 5.5 | $0.00008 | $0.00101 |
| Haiku 4.5 | $0.00004 | $0.00051 |
Grade A, and why
contract-redline-proof 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 15d 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.
What it actually says
Contract redline proof
Show exactly what changed between two contract versions and seal the diff.
Prompt
Make a contract diff that outlives both parties' copy of the file.
- Export both contract versions to plain text (v1.txt, v2.txt). Use synthetic or redacted text if the contract is confidential; the proof covers structure, not secrets.
- Call redline_diff on the two files. Record the changed spans with their context.
- Call redline_verify to confirm the diff is complete and reproduces both documents from v1 plus the patch. State pass/fail.
- Confirm the patch alone, applied to v1, yields v2 byte-for-byte; quote the byte counts of v1, patch, and v2.
- anchor_stamp the patch digest on OpenTimestamps. Record the OTS receipt.
- build_session_receipt over the diff and verify hashes; give me the ledger link.
- Write the note for the deal file: the two version identifiers, the patch digest, the OTS receipt, and the one command that re-applies the patch and re-verifies the digest years from now, without contacting us. If a named tool is not in your tool list, call call_tool with { "name": "", "arguments": { … } }. It runs the same validation and returns the same receipt.
How to run
Connect an MCP-capable host to https://mcp.ainumbers.co/mcp, then give the prompt above to the assistant.
Use synthetic inputs only. Never paste personal or production data.
Verify what came back
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.
- 15d ago Changed 263378130387
- 19d ago First seen · 39 lines · 41 tokens per session scan A 8d742b51c1c1
contract-redline-proof is a skill published in the GitHub repository PostOakLabs/ainumbers (11 stars, last pushed yesterday), licensed MIT. It adds 41 tokens to every session and 505 once invoked, about $0.0002 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-09-27.
Other skills, from other repositories
audit-export
Export the full CocoAudit trail as a stakeholder-ready compliance document.
software-copyright
A guided workflow for preparing Chinese software copyright registration materials from a real software project. It produces drafts such as application details, source-code documents, and a user manual.
court-sms
A workflow that reads court text messages or delivery links, extracts case details, downloads court documents, and files them in the matching case folder.
recht-report-pdf-momarcode1
Generates professional PDF reports with risk scores, cost estimates, and recommendations using ReportLab. Austrian law branding.
liquidacao-planilha-bossmann007
Estrutura uma planilha de liquidação com verbas trabalhistas (aviso prévio, 13º, férias, FGTS, horas extras) ou cíveis (principal, danos) — filas, bases de cálculo, incidências e índices de correção (TR até 2021, IPCA-E/SELIC pós-EC 113/2021) — pronto para o advogado/contador preencher. Não computa valores finais. Use…
copyright-docs
Generate software copyright design specification documents compliant with China Copyright Protection Center (CPCC) standards. Creates complete design documents with Mermaid diagrams based on source code analysis. Use for software copyright registration, generating design specification, creating CPCC-compliant…