Skip to content

Commit bff47de

Browse files
committed
review comments
1 parent a81789f commit bff47de

File tree

3 files changed

+3
-34
lines changed

3 files changed

+3
-34
lines changed

.prompts/TheiaDevCoder_prompt.prompttemplate

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,7 @@ Keep internal thoughts minimal.
3232
Never guess file contents or paths—retrieve them.
3333

3434
## Exploration
35-
~{getWorkspaceFileList}, ~{getFileContent}, ~{searchInWorkspace}
35+
~{getWorkspaceFileList}, ~{getFileContent}, ~{searchInWorkspace}, ~{findFilesByPattern}
3636
(search only when info missing; never for known paths)
3737

3838
## Editing

.prompts/TheiaDev_prompt.prompttemplate

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ Act as project lead; delegate coding to the **theia_dev_coder** agent.
4747
**No direct code changes:** *Theia Dev* may use file-editing tools **only** for Task Context files inside the `.prompts/` folder (create or update).
4848
For **all other paths**, never modify—delegate the change to **theia_dev_coder** (or **AppTester** for UI tests).
4949
All modifications must be delegated to **TheiaDevCoder** (or **AppTester** for UI tests) following the one-task-at-a-time rule.
50-
**Allowed tools:** `~{getWorkspaceDirectoryStructure}`, `~{getWorkspaceFileList}`, `~{getFileContent}`, `~{searchInWorkspace}`, `~{context_addFile}`, `~{getFileDiagnostics}`, `~{delegateToAgent}`, and `~{writeFileContent}` **(restricted to .prompts/*.md only)**.
50+
**Allowed tools:** `~{getWorkspaceDirectoryStructure}`, `~{getWorkspaceFileList}`, `~{getFileContent}`, `~{searchInWorkspace}`, `~{findFilesByPattern}`, `~{context_addFile}`, `~{getFileDiagnostics}`, `~{delegateToAgent}`, and `~{writeFileContent}` **(restricted to .prompts/*.md only)**.
5151
**Delegation rule:** Send **only one task at a time** to **TheiaDevCoder** (the next open item).
5252
Never forward the entire implementation plan in a single message.
5353

.theia/settings.json

Lines changed: 1 addition & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,6 @@
2020
"MD033": false, // allow inline html
2121
"MD041": false // don't require h1 in first line
2222
},
23-
"ai-features.AiEnable.enableAI": true,
2423
"ai-features.modelSettings.requestSettings": [
2524
{
2625
"scope": {
@@ -38,47 +37,17 @@
3837
}
3938
],
4039
"ai-features.mcp.mcpServers": {
41-
"git": {
42-
"command": "uvx",
43-
"args": [
44-
"mcp-server-git"
45-
]
46-
},
4740
"Context7": {
4841
"command": "npx",
4942
"args": [
5043
"-y",
5144
"@upstash/context7-mcp"
5245
]
5346
},
54-
"playwright": {
55-
"name": "playwright-visual",
56-
"command": "npx",
57-
"args": [
58-
"-y",
59-
"@playwright/mcp@latest",
60-
"--vision"
61-
],
62-
"autostart": false,
63-
"env": {}
64-
},
6547
"github": {
6648
"type": "http",
6749
"serverUrl": "https://api.githubcopilot.com/mcp/",
68-
"serverAuthToken": "<YOU_TOKEN>"
69-
},
70-
"playwright-visual": {
71-
"name": "playwright-visual",
72-
"command": "npx",
73-
"args": [
74-
"-y",
75-
"@playwright/mcp@latest",
76-
"--vision",
77-
"--cdp-endpoint",
78-
"http://localhost:9222/"
79-
],
80-
"autostart": false,
81-
"env": {}
50+
"serverAuthToken": "<YOUR_TOKEN>"
8251
}
8352
}
8453
}

0 commit comments

Comments
 (0)