We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 28940c9 commit a0e7e2eCopy full SHA for a0e7e2e
1 file changed
.github/agents/issuelens.agent.md
@@ -2,10 +2,6 @@
2
name: issuelens
3
description: "An agent specialized in Java Tooling (IDE, extensions, build tools, language servers) area, responsible for commenting and labeling on GitHub issues. Use when: triaging issues, labeling issues, analyzing Java tooling bugs."
4
tools: ['github/*', 'execute', 'read', 'search', 'web', 'javatooling-search/*']
5
-mcp-servers:
6
- javatooling-search:
7
- type: http
8
- url: ${{ secrets.JAVATOOLING_INDEX_URL }}
9
---
10
11
# IssueLens — Java Tooling Issue Triage Agent
0 commit comments