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) is a set of custom Claude Code skills for autonomous ML research workflows. It orchestrates cross-model collaboration, with Claude Code executing research tasks and an external LLM (like GPT-5.4) critically reviewing. This system can autonomously discover ideas, run experiments, and write/refine research papers, allowing researchers to wake up to ready-to-submit results.; chiasmus: Chiasmus is an MCP server that integrates formal verification (Z3, Prolog) and code analysis (tree-sitter) to solve complex logical and structural problems. It translates natural language into formal logic using templates and provides verified results. It also analyzes source code call graphs for dead code, impact, and reachability.
01
TL;DR
Choose Auto-claude-code-research-in-sleep if…Explore new research areas and discover novel ideas through literature surveys and brainstorming.
Choose chiasmus if…Detect conflicts in access control rules
02
Side-by-Side Comparison
03
Features
Auto-claude-code-research-in-sleep0118 composable skills for flexible workflow chaining.
02Automated idea discovery including literature survey, brainstorming, novelty check, and GPU pilot experiments.
03Autonomous multi-round review loop to iteratively improve research with experiments.
04Comprehensive paper writing pipeline from narrative to submission-ready LaTeX/PDF.
05Cross-model collaboration for adversarial review, breaking single-model blind spots.
chiasmus01Formal verification via Z3 SMT solver and Tau Prolog
02Tree-sitter-based source code analysis
03Template-based problem formalization
04End-to-end solving pipeline
05Custom language adapters
04
Use Cases
Auto-claude-code-research-in-sleep↳Explore new research areas and discover novel ideas through literature surveys and brainstorming.
↳Automate the iterative review and refinement of research projects, including running experiments, until submission-ready.
↳Transform research narratives into submission-ready academic papers with a full writing and formatting pipeline.
chiasmus↳Detect conflicts in access control rules
↳Find dead code and perform impact analysis
↳Verify software invariants and state machines
05
Best For
Auto-claude-code-research-in-sleepTrendingMulti-AgentWorkflow Automation
chiasmusTrendingAPI Integration
FAQ
FAQ
What is the difference between Auto-claude-code-research-in-sleep and chiasmus?
Both Auto-claude-code-research-in-sleep and chiasmus are in the Workflow Automation category. Auto-claude-code-research-in-sleep has 11.0k stars, while chiasmus has 187 stars.
Which is better, Auto-claude-code-research-in-sleep or chiasmus?
The best choice depends on your use case. Choose Auto-claude-code-research-in-sleep if Explore new research areas and discover novel ideas through literature surveys and brainstorming., and chiasmus if Detect conflicts in access control rules.
Is Auto-claude-code-research-in-sleep free or open source?
Yes, Auto-claude-code-research-in-sleep is open source on GitHub (MIT).
Is chiasmus free or open source?
Yes, chiasmus is open source on GitHub (Apache-2.0).
→