Auto-claude-code-research-in-sleep
★ 11.0k
vs
chiasmus
★ 187
Auto-claude-code-research-in-sleep vs chiasmus
Auto-claude-code-research-in-sleep：Auto-claude-code-research-in-sleep (ARIS) 是一套为机器学习研究工作流设计的自定义 Claude Code 技能集。它通过 Claude Code 执行研究任务，并由外部大型语言模型（如 GPT-5.4）进行批判性评审，实现跨模型协作。该系统能自主发现研究思路、运行实验并撰写和完善论文，让研究人员醒来即可获得提交就绪的成果。；chiasmus：Chiasmus 是一个 MCP 服务器，集成了形式化验证（Z3、Prolog）和代码分析（tree-sitter），用于解决复杂的逻辑和结构问题。它通过模板将自然语言转化为形式逻辑，并提供经过验证的结果。它还能分析源代码调用图，进行死代码、影响和可达性分析。
01
简评
选 Auto-claude-code-research-in-sleep 如果…通过文献调研和头脑风暴，探索新的研究领域并发现新颖的研究思路。
选 chiasmus 如果…检测访问控制规则中的冲突
02
并排对比
03
功能特性
Auto-claude-code-research-in-sleep0118 个可组合技能，支持灵活的工作流链式调用。
02自动化研究思路发现，包括文献调研、头脑风暴、新颖性检查和 GPU 试点实验。
03自主多轮评审循环，通过实验迭代改进研究成果。
04从叙述到可提交 LaTeX/PDF 的全面论文撰写流程。
05通过跨模型协作进行对抗性评审，突破单一模型盲点。
chiasmus01通过 Z3 SMT 求解器和 Tau Prolog 进行形式化验证
02基于 tree-sitter 的源代码分析
03基于模板的问题形式化
04端到端求解管道
05自定义语言适配器
04
使用场景
Auto-claude-code-research-in-sleep↳通过文献调研和头脑风暴，探索新的研究领域并发现新颖的研究思路。
↳自动化研究项目的迭代评审和完善过程，包括运行实验，直至达到提交标准。
↳通过完整的撰写和格式化流程，将研究叙述转化为可提交的学术论文。
chiasmus↳检测访问控制规则中的冲突
↳查找死代码并执行影响分析
↳验证软件不变量和状态机
05
适合场景
Auto-claude-code-research-in-sleep时下流行多智能体工作流自动化
chiasmus时下流行API 集成
FAQ
常见问题
Auto-claude-code-research-in-sleep 和 chiasmus 有什么区别？
Auto-claude-code-research-in-sleep 和 chiasmus 都属于 Workflow Automation 类别。Auto-claude-code-research-in-sleep 有 11.0k Stars，chiasmus 有 187 Stars。
Auto-claude-code-research-in-sleep 和 chiasmus 哪个更好？
最佳选择取决于你的具体需求。通过文献调研和头脑风暴，探索新的研究领域并发现新颖的研究思路。 时选 Auto-claude-code-research-in-sleep，检测访问控制规则中的冲突 时选 chiasmus。
Auto-claude-code-research-in-sleep 是免费的吗？
是的，Auto-claude-code-research-in-sleep 在 GitHub 开源（MIT）。
chiasmus 是免费的吗？
是的，chiasmus 在 GitHub 开源（Apache-2.0）。
→