agentpluginsdirectory
teggr avatar

github-copilot-coding-agent

v1.0.0

by teggr

github-copilot-coding-agent is an Agent Plugin published by teggr that packages 1 skill and no MCP servers for ChatGPT, Codex, Cursor, GitHub Copilot, VS Code, and Kiro. Verified against the official Agent Plugins 1.0.0 schema on 2026-08-11; 1 stars on the host repository.

Agent plugin for configuring the GitHub Copilot coding agent to use Java 25 (or any JDK version) via a copilot-setup-steps.yml workflow, covering Maven, Gradle, private repositories, and firewall allowlist configuration.

Skills
1
MCP servers
0
Stars
1
License
—

Links

Skills · 1

  • github-copilot-coding-agent

Category

DevOps & Cloud — assigned by this directory, not declared in the manifest.

Keywords

github-copilot-coding-agent · java · jdk · maven · gradle · workflow · firewall

Related plugins

  • github-actions-setup-javateggr

    Agent plugin for skills for working with GitHub Actions workflows, including setting up and maintaining common actions.

  • javadoc-centralteggr

    Agent plugin for browsing and linking to JavaDoc for any Maven Central artifact via javadocs.dev.

  • deploy4jteggr

    Agent plugin for deploy4j installation and deployment guidance for setting up and operating deploy4j-based app delivery.

  • ai-toolkitteggr

    Optional post-install Agent plugin manager for Copilot customizations from teggr/ai-toolkit, focused on inventory, updates, and reconciliation.

  • discoveryteggr

    Agent plugin for discovery and investigation work before planning or implementation.

  • github-pr-reviewteggr

    Agent plugin for reviewing agent-generated pull requests using a structured, ordered checklist based on GitHub's guide to agent PR review.

✓ Verified : manifest fetched from GitHub and checked against the official Agent Plugins 1.0.0 schema (agent-plugins.org).