Skip to content

Conversation

@eneufeld
Copy link
Contributor

@eneufeld eneufeld commented Oct 21, 2025

What it does

It provides two new agents that allow for a fully agentic flow.

How to test

In order to test use Theia Dev and give it a bug/description of what to do.
It should give you an analysis and wait for your confirmation. Afterwards it should delegate to the TheiaDevCode agents and let it do the heavy lifting.

I suggest to add these entries to your settings:

"ai-features.modelSettings.requestSettings": [
    {
      "scope": {
        "modelId": "claude-sonnet-4-5-20250929",
        "agentId": "theia_dev"
      },
      "requestSettings": {
        "max_tokens": 40000,
        "temperature": 1,
        "thinking": {
          "type": "enabled",
          "budget_tokens": 20000
        }
      }
    }
  ],
  "ai-features.mcp.mcpServers": {
    "Context7": {
      "type": "http",
      "serverUrl": "https://mcp.context7.com/mcp",
      "autostart": true
    },
    "github": {
      "type": "http",
      "serverUrl": "https://api.githubcopilot.com/mcp/",
      "serverAuthToken": "<YOUR_TOKEN>"
    }
  }

Follow-ups

Breaking changes

  • This PR introduces breaking changes and requires careful review. If yes, the breaking changes section in the changelog has been updated.

Attribution

Review checklist

Reminder for reviewers

@github-project-automation github-project-automation bot moved this to Waiting on reviewers in PR Backlog Oct 21, 2025
@eneufeld eneufeld force-pushed the agntic_coding_prompts branch from f33b6ef to 55cbe86 Compare October 22, 2025 11:45
- ~{delegateToAgent}
- ~{clearFileChanges}
- {{prompt:mcp_Context7_tools}}
- {{prompt:mcp_github_tools}}
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We have a GitHub Agent now, should we instead delegate to it?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

maybe, I didn't test it yet

@JonasHelming
Copy link
Contributor

I like the agent design, great job! One open comment about the GitHub agent above.

However, I would not commit the settings.

enableAI: => unrelated

modelSettings => unrelated, add maybe as a recommendation in the PR description

git_mcp_server => not used

Context7 => mention in the PR but switch to the remote version (https://github.com/upstash/context7) (we might consider to install this by default)

Playwright => not used

GitHub => can be delegated to agent, see above

Playwright-visual => not used

After this, I would merge this to allows Theia developers to test it.

@eneufeld
Copy link
Contributor Author

enableAI: => unrelated

✔️

modelSettings => unrelated, add maybe as a recommendation in the PR description

This is needed as I find configuring the theia_dev to using thinking is important

git_mcp_server => not used

✔️

Context7 => mention in the PR but switch to the remote version (https://github.com/upstash/context7) (we might consider to install this by default)

✔️ Nice find, I was not aware there is a remote version.

Playwright => not used

✔️

GitHub => can be delegated to agent, see above

Ok, would be added via the agent then.

Playwright-visual => not used

✔️

@eneufeld eneufeld force-pushed the agntic_coding_prompts branch 2 times, most recently from bff47de to 4dc9aa2 Compare November 21, 2025 14:43
@JonasHelming
Copy link
Contributor

@eneufeld I am still not sure about adapting the default settings for all Theia devs. Let's remove the settings changes all together and just document them in the PR so that people trying this agent can pick them up. Please also open a follow-up ticket about the thinking settings. If this is important, we should solve it generically I think.

@eneufeld eneufeld force-pushed the agntic_coding_prompts branch from 4dc9aa2 to d65354f Compare November 24, 2025 12:43
@github-project-automation github-project-automation bot moved this from Waiting on reviewers to Needs merge in PR Backlog Nov 24, 2025
@eneufeld eneufeld marked this pull request as ready for review November 24, 2025 12:49
@eneufeld
Copy link
Contributor Author

Created follow up for thinking/reasoning models: #16642

@eneufeld eneufeld merged commit 80b117a into master Nov 24, 2025
7 of 10 checks passed
@github-project-automation github-project-automation bot moved this from Needs merge to Done in PR Backlog Nov 24, 2025
@github-actions github-actions bot added this to the 1.67.0 milestone Nov 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants