Bernard ZHAO

[Archived] stdio MCP proxy over WeCom's robot-doc backend. Superseded by the official WecomTeam/wecom-cli v1.1.0 — see README for what the CLI now covers, and the one transform (smartsheet cell unwrap) it still doesn't.

Research: which coding-agent CLIs expose a tool schema that a third-party inference backend can actually drive. Family A/B taxonomy, a drivability criterion, a compatibility matrix, and a vendor-neutral reference adapter.

Suitability as an on-chain object, not a prompt: revocable warrants, preflight and attestations for AI-agent trading (MetaMask Agent Wallet plugin; Monad + Avalanche)

Evidence Deflator: how many months of an AI backtest actually count? Give the model's knowledge cutoff, the backtest months and the number of variants tried; get clean months, months needed and a verdict. Pure Python stdlib, MCP server included.

Re-check one result family from openai/math yourself: compile, axiom audit, statement-equivalence, and a negative control. Worked example: family 325, the complete Crouzeix inequality.

统计 Claude Code 每日 token 消耗：直读本地 transcript，时区口径显式，四项计数分列，按 message.id 去重。纯标准库。