github-copilot-coding-agent
v1.0.0Agent 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.
1 GitHub starsUpdated yesterday
Directory evidence
- Runtimes
- Agent Plugins
- Parsed components
- 1 skill or MCP entry
- Source updated
- Oct 1, 2026
- Manifest status
- Canonical path parsed
The directory validates manifest shape and source location. It does not execute the plugin or provide a security endorsement. Review the indexing methodology →
Get the plugin
git clone https://github.com/teggr/ai-toolkitClone the source repository, then follow its setup instructions to add the plugin to a compatible client. The plugin root is github-copilot-coding-agent/.
This listing currently publishes only the generic Agent Plugins format. Automatic install commands for other clients are not generated yet.
Plugin files
├── plugin.json└── skills/github-copilot-coding-agent/SKILL.md
Included Skills1
Create or update .github/workflows/copilot-setup-steps.yml so the GitHub Copilot coding agent builds with the correct JDK version (including Java 25), with support for Maven, Gradle, private repositories, and firewall allowlist configuration.
Plugin manifests1
{
"$schema": "https://agent-plugins.org/schemas/1.0.0/plugin.schema.json",
"name": "github-copilot-coding-agent",
"description": "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.",
"keywords": [
"github-copilot-coding-agent",
"java",
"jdk",
"maven",
"gradle",
"workflow",
"firewall"
],
"version": "1.0.0",
"homepage": "https://teggr.github.io/ai-toolkit/",
"repository": "https://github.com/teggr/ai-toolkit"
}For maintainers
If you maintain this plugin, link to this source-backed listing from your README so users can review its manifest and indexed components.
[github-copilot-coding-agent on Agent Plugins Marketplace](https://pluginsmp.com/plugins/github-copilot-coding-agent)