Formalization mode — actually do the work. Activates the rigor pose — emits claims, runs the verifier loop, keeps research state live, surfaces /think-rigorousl
在 skillsABC 查看完整内容及安装命令 →