wanshuiyin/auto-claude-code-research-in-sleep/proof-writer

wanshuiyin·Design·wanshuiyin/auto-claude-code-research-in-sleep·skills/proof-writer/SKILL.md ↗·Updated Mar 17, 2026

wanshuiyin/auto-claude-code-research-in-sleep

community

Install

# npm
$ npx vskill install wanshuiyin/auto-claude-code-research-in-sleep/proof-writer

# bun
$ bunx vskill install wanshuiyin/auto-claude-code-research-in-sleep/proof-writer

# pnpm
$ pnpx vskill install wanshuiyin/auto-claude-code-research-in-sleep/proof-writer

# yarn
$ yarn dlx vskill install wanshuiyin/auto-claude-code-research-in-sleep/proof-writer

# alternative
$ npx vskill install wanshuiyin/auto-claude-code-research-in-sleep --skill proof-writer

── Security ────────────────────────────────────────

Tier 1PASS 100/100Tier 2PASSView full security report →

── Quality Evaluation ──────────────────────────────

No evaluation data available yetView eval results →

Popularity

1.9kstars159forks467d trend

2h ago

Works with

Works with all 39 vskill-compatible agents

Claude Code

Cursor

GitHub Copilot

Windsurf

Codex

Gemini CLI

Cline

Amp

Roo Code

Goose

Continue

Kilo Code

Junie

Trae

OpenHands

Qwen CodeAI AgentTabnine ChatSourcegraph CodyAmazon QFirebase GenkitSweepDevinPhindMentatClaude DesktopAiderGPT PilotPlandexbolt.newv0

Replit AgentAnseTypingMindBetterChatGPTLibreChatWarp AIPiecesFig AI

Embed badge

Markdown

[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/wanshuiyin/auto-claude-code-research-in-sleep/proof-writer/badge)](https://verified-skill.com/skills/wanshuiyin/auto-claude-code-research-in-sleep/proof-writer)