thoughtproof-verify

thoughtproof-verify is a skill for Claude Code, Codex from AlgoChains/algochains-mcp-server. It costs 0 tokens per session (505 once invoked), scanned A, original, MIT.

A pre-trade review step that sends a proposed order to several independent AI critics before execution. Each critic returns whether the trade should be allowed, blocked, or held for review.

In plain words
What is it for?
Use it before placing higher-stakes trades to review the order claim, refuse blocked orders, hold uncertain ones, and record or alert on the decision.
Why use it?
It adds a check before an order is sent and can stop trades that receive a blocking verdict or too much uncertainty.

Skill for Claude CodeCodex

Written for no agent in particular: nothing here depends on one. Also seen: positional $N argument.

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.

agentmods
npx agentmods add skills/algochains/algochains-mcp-server/thoughtproof-verify
Any agent
npx skills add AlgoChains/algochains-mcp-server --skill thoughtproof-verify
Clone the repo
git clone --depth 1 https://github.com/AlgoChains/algochains-mcp-server

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 thoughtproof-verify

README.md
[![agentmods](https://agentmods.dev/badge/skills/algochains/algochains-mcp-server/thoughtproof-verify.svg)](https://agentmods.dev/skills/algochains/algochains-mcp-server/thoughtproof-verify)
Your own site
<a href="https://agentmods.dev/skills/algochains/algochains-mcp-server/thoughtproof-verify"><img src="https://agentmods.dev/badge/skills/algochains/algochains-mcp-server/thoughtproof-verify.svg" alt="Measured on agentmods" height="20"></a>
Per session 0 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 505 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. Scan, not verified.
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.00000 $0.00505
Opus 5 $0.00000 $0.00253
Sonnet 5 $0.00000 $0.00101
Haiku 4.5 $0.00000 $0.00051

Measured 5d ago against content hash 385130dde5a9, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-06, from the pricing page.

Security

Grade A, and why

thoughtproof-verify 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 5d 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.

algoclaw/skills/thoughtproof-verify/SKILL.md · 53 lines

What it actually says

thoughtproof-verify

Tier: 2 (pre-trade verification — runs before any order execution)
Trigger: Wired into place_order dispatch in server.py
MCP Tool: run_algoclaw_skill("thoughtproof-verify", {"claim":"Place MNQ long 2 @ market","stake":"high"})
Source Pattern: ThoughtProof/thoughtproof-mcp (cross-model adversarial attestation)

What It Does

Before executing any order, routes the trade claim through 2–5 adversarial AI models for independent review. Each model acts as a critic and returns ALLOW / BLOCK / UNCERTAIN with a signed attestation.

Models used:

  • Fast (2 models, ~$0.008): Claude Haiku + GPT-4o-mini
  • Standard (3 models, ~$0.03): + Gemini Flash
  • Deep (5 models, ~$0.08): + Grok + DeepSeek

Config

THOUGHTPROOF_ENABLED = os.environ.get("THOUGHTPROOF_ENABLED", "false") == "true"
THOUGHTPROOF_MIN_STAKE = os.environ.get("THOUGHTPROOF_MIN_STAKE", "high")  # low/medium/high/critical
THOUGHTPROOF_SPEED = os.environ.get("THOUGHTPROOF_SPEED", "fast")  # fast/standard/deep

Decision Logic

Verdict Outcome
All ALLOW Execute trade
Any BLOCK Refuse trade, log reason, alert
2+ UNCERTAIN Escalate to owner, hold trade

Output

{
  "claim": "Place MNQ long 2 contracts at market — AI signal 87.1%",
  "verdict": "ALLOW",
  "models_consulted": 2,
  "speed": "fast",
  "cost_usd": 0.008,
  "attestation_id": "tp_a1b2c3d4",
  "reasons": ["Signal consistent with regime", "Risk/reward ratio acceptable"],
  "blocked": false
}

Cost Justification

With $500/day max loss limit, $0.008 per order pre-verification costs < 0.01% of daily risk budget. Blocking even one bad $200 loss covers 25,000 order verifications.

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. 5d ago First seen · 53 lines · 0 tokens per session scan A 385130dde5a9

Subscribe to this mod's changes

thoughtproof-verify is a skill published in the GitHub repository AlgoChains/algochains-mcp-server (1 stars, last pushed 4d ago), licensed MIT. It costs nothing until one of its globs matches a file; then it loads 505 tokens. 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-08-31.