wanshuiyin/auto-claude-code-research-in-sleep/proof-orchestratorskill versions