cordis-plugin-githubxinvxueyuan0Cordis / DeepSeek Harness plugin — normalized GitHub API tools for AI agents (gh CLI by default, native HTTP fallback)TypeScript08/18