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 AlgoChains/algochains-mcp-server --skill thoughtproof-verifygit clone --depth 1 https://github.com/AlgoChains/algochains-mcp-serverWrote 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/algochains/algochains-mcp-server/thoughtproof-verify)<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/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/algochains/algochains-mcp-server/thoughtproof-verify"><img src="https://agentmods.dev/badge/skills/algochains/algochains-mcp-server/thoughtproof-verify.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.00000 | $0.00505 |
| Opus 5.5 | $0.00000 | $0.00202 |
| Sonnet 5.5 | $0.00000 | $0.00101 |
| Haiku 4.5 | $0.00000 | $0.00051 |
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 2mo 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
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.
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.
- 2mo ago First seen · 53 lines · 0 tokens per session scan A 385130dde5a9
thoughtproof-verify is a skill published in the GitHub repository AlgoChains/algochains-mcp-server (1 stars, last pushed 1mo 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.
thoughtproof-verify compared with skills from other repositories
| Mod | Type | Stars | Last push | Licence | Scan | Tokens | Works with |
|---|---|---|---|---|---|---|---|
| thoughtproof-verifyAlgoChains/algochains-mcp-server | Skill | 1 | 1mo ago | MIT | A | 0 | Claude Code, Codex |
| sector-rotationHKUDS/Vibe-Trading | Skill | 38k | today | MIT | A | 39 | Claude Code, Codex |
| strategy-pivot-designertradermonty/claude-trading-skills | Skill | 3.7k | today | MIT | A | 28 | Claude Code, Codex |
| twitter-readerhimself65/finance-skills | Skill | 3.5k | 3d ago | MIT | A | 110 | Claude Code |
| energy-procurementhashgraph-online/awesome-codex-plugins | Skill | 1.5k | today | Apache-2.0 | A | 93 | Claude Code, Codex |
| airdrop-hunting-guidenirholas/three.ws | Skill | 269 | yesterday | Apache-2.0 | A | 54 | Claude Code, Codex |
| multi-expert-analyzerdigoal/blog | Skill | 8.6k | 3d ago | GPL-2.0 | A | 292 | Codex |