cordis-plugin-github0 ★@xinvxueyuanCordis / DeepSeek Harness plugin — normalized GitHub API tools for AI agents (gh CLI by default, native HTTP fallback)NewCoding