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 agentmods add skills/algochains/algochains-mcp-server/thoughtproof-verifynpx 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.svg" alt="Measured on agentmods" 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 | $0.00000 | $0.00253 |
| Sonnet 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 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.
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.
- 5d 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 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.
Other skills, from other repositories
sector-rotation
行业轮动分析——申万行业景气度评分、行业动量排名、产业链传导、估值/盈利/资金流多维比较框架.
strategy-pivot-designer
Detect backtest iteration stagnation and generate structurally different strategy pivot proposals when parameter tuning reaches a local optimum.
twitter-reader
Read Twitter/X for financial research using opencli (read-only). Use this skill whenever the user wants to read their Twitter feed, search for financial tweets, view bookmarks, look up user profiles, or gather market sentiment from Twitter/X. Triggers include: "check my feed", "search Twitter for", "show my…
chenhao-limit-up
Use when evaluating A-share limit-up (涨停板) setups through Chen Hao's sentiment and momentum lens: market emotion cycles, board strength, follow-through, and short-term aggressive momentum trading.
trading-risk-gate
Unified pre-trade safety gate: Ruin check (Law #1), ergodicity audit, and win-rate dominance validation. Absorbs: ergodicity-check, law-of-ruin, win-rate-dominance.
vectorbt
High-performance vectorized backtesting with parameter optimization, portfolio simulation, and rich performance metrics.