wanshuiyin/auto-claude-code-research-in-sleep
lean-formalize
Installation
$
npx skills add wanshuiyin/auto-claude-code-research-in-sleep --skill lean-formalize
Also in this package
Other skills from wanshuiyin/auto-claude-code-research-in-sleep · top by installs.
npx skills add wanshuiyin/auto-claude-code-research-in-sleep
paper-figure
509
research-lit
494
idea-discovery
471
idea-creator
467
arxiv
460
auto-review-loop
458
research-pipeline
453
semantic-scholar
452
paper-writing
451
research-review
449
Browse all from wanshuiyin/auto-claude-code-research-in-sleep
More details
Agent compatibility
Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.
Claude Code
Not declared
Cursor
Not declared
Codex
Not declared
GitHub Copilot
Not declared
Windsurf
Not declared
Gemini CLI
Not declared
Cline
Not declared
OpenCode
Not declared
Repository health
Stars
16K
License
LICENSE
Default branch
main
Open issues
53
Status
Active