SpecAgent 借鉴推测式解码思想但做了三点改造：草稿粒度从 token 提升到完整工具调用动作；验证从字符串层面提升到语义层面的轨迹合法性判断；加入修复环节对第一个被拒绝的步骤给出替代动作。