Писатель математических доказательств.
npx -y skills add wanshuiyin/auto-claude-code-research-in-sleep --skill proof-writer --agent claude-code