skill · xsoc1
严谨开放数学研究套件：4 个 agent skill（rigorous-open-math-research、manage-math-research-program、math-research-workflow、lean-verify），覆盖对抗性审计的定理求解、研究项目管理、流水线编排与 Lean 4 形式化审计；CI 测试与机械式上游同步。
当前信任状态是 screened，没有安装按钮，也没有可执行安装器。
尚无护照。
公开评价需要 GitHub 或安装日志身份。当前这个版本还没有已发布评价。评价不能改变护照。
提交：POST /api/v1/reviews，举报：POST /api/v1/reviews/:id/report