convex-verify
convex-verify 是一个用于验证 Convex 功能是否真正按预期工作的技能。它不止步于类型检查通过,而是采用「seed → drive → assert」的循环,在进程内通过 convex-test 运行测试,无需部署即可证明功能行为正确。其核心价值在于对负向路径(即本应被拒绝的调用者确实被拒绝)的断言,因为这类授权缺陷往往是演示 happy path 时无法发现的真实漏洞。该技能会识别待验证的 query/mutation/action,配置 convex-test 与 vitest 环境,通过应用自身函数播种真实数据(包括第二个用户的数据),并使用不同身份(属主、其他已认证用户、未认证用户)驱动功能,最后断言正向行为、负向拒绝以及数据作用域。若断言失败,会作为发现项上报而不会为通过测试而弱化断言。