用途：prove-it 用于核验事实性主张。当某条陈述缺乏证据、被指出编造事实，或需要在被当作真实内容呈现前先验证时，可调用此技能。其参数即为要验证的主张；若未提供参数，则扫描上一条 CLANKER 回复中的所有事实性主张（被当作真实而非推测的陈述），逐条执行流程。
主要能力与流程：首先原样引用该主张，不做改写；然后分类：可即时经验测试（可用命令、读文件或 API 调用确认或反驳）、可研究（可通过文档、源代码或网络搜索取得证据）、不可验证（无可用工具或来源）。对可测试项执行命令或读文件并报告原始输出，与主张比较，给出已确认、已反驳或部分为真；对可研究项使用 context7、researcher MCP 服务器、WebSearch 或 Read 查找权威来源并引用来源；对不可验证项说明无可用工具测试的原因，撤回主张或将其明确降级为推测。
输出格式：CLAIM（精确引用）、TYPE（empirical、researchable 或 unverifiable）、EVIDENCE（原始输出、引用或无可用证据）、VERDICT（confirmed、refuted、partially true 或 unverifiable）、CORRECTION（若被反驳或部分为真，给出准确版本）。
限制与规则：不得跳步直接给结论，必须先展示证据；不得用产生该主张的同一推理来确认该主张，只能使用独立证据；若主张来自先前观察或记忆条目，这不算独立证据，因为观察记录的是“说过什么”，而非“是真的”；若结论为已反驳，须在输出块之后用平实语言撤回原主张；不得为求安慰而软化反驳。未在资料中提供安装命令、价格或平台兼容性信息。