feat: auto-configure local VSCode MCP Server for GitHub Copilot
All checks were successful
CI/CD Pipeline for DevStar Extension / build (pull_request) Successful in 7m18s
All checks were successful
CI/CD Pipeline for DevStar Extension / build (pull_request) Successful in 7m18s
This commit is contained in:
@@ -373,11 +373,19 @@ export default class RemoteContainer {
|
|||||||
vscode.window.showWarningMessage('端口映射设置失败,但容器连接已建立');
|
vscode.window.showWarningMessage('端口映射设置失败,但容器连接已建立');
|
||||||
}
|
}
|
||||||
|
|
||||||
// 自动配置 AI IDE 的 MCP Server
|
// 自动配置本地 VSCode 的 MCP Server
|
||||||
|
try {
|
||||||
|
await this.configureMCPServerLocally();
|
||||||
|
} catch (mcpError) {
|
||||||
|
console.error('[MCP] 本地 MCP 配置失败:', mcpError);
|
||||||
|
// 不阻塞主流程,仅记录错误
|
||||||
|
}
|
||||||
|
|
||||||
|
// 自动配置容器内 AI IDE 的 MCP Server
|
||||||
try {
|
try {
|
||||||
await this.configureMCPServerInContainer(sshConfig.hostname, port);
|
await this.configureMCPServerInContainer(sshConfig.hostname, port);
|
||||||
} catch (mcpError) {
|
} catch (mcpError) {
|
||||||
console.error('[MCP] 自动配置失败:', mcpError);
|
console.error('[MCP] 容器内 MCP 配置失败:', mcpError);
|
||||||
// 不阻塞主流程,仅记录错误
|
// 不阻塞主流程,仅记录错误
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -597,6 +605,114 @@ EOF
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* 在本地 VSCode 中配置 MCP Server
|
||||||
|
* 支持 GitHub Copilot 等使用本地 MCP 配置
|
||||||
|
*/
|
||||||
|
private async configureMCPServerLocally(): Promise<void> {
|
||||||
|
// 获取用户 token
|
||||||
|
const userToken = this.user.getUserTokenFromLocal();
|
||||||
|
if (!userToken) {
|
||||||
|
console.log('[MCP] 用户未登录,跳过本地 MCP Server 配置');
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
|
// 获取 DevStar 域名
|
||||||
|
const devstarDomain = this.user.getDevstarDomain();
|
||||||
|
const mcpUrl = `${devstarDomain}/api/mcp`;
|
||||||
|
|
||||||
|
console.log(`[MCP] 开始配置本地 MCP Server: ${mcpUrl}`);
|
||||||
|
|
||||||
|
// 根据操作系统确定配置文件路径
|
||||||
|
let mcpConfigPath: string;
|
||||||
|
const platform = os.platform();
|
||||||
|
const homedir = os.homedir();
|
||||||
|
|
||||||
|
if (platform === 'darwin') {
|
||||||
|
// macOS
|
||||||
|
mcpConfigPath = path.join(homedir, 'Library/Application Support/Code/User/mcp.json');
|
||||||
|
} else if (platform === 'win32') {
|
||||||
|
// Windows
|
||||||
|
mcpConfigPath = path.join(homedir, 'AppData/Roaming/Code/User/mcp.json');
|
||||||
|
} else {
|
||||||
|
// Linux
|
||||||
|
mcpConfigPath = path.join(homedir, '.config/Code/User/mcp.json');
|
||||||
|
}
|
||||||
|
|
||||||
|
console.log(`[MCP] 配置文件路径: ${mcpConfigPath}`);
|
||||||
|
|
||||||
|
// MCP 配置内容(本地 VSCode 使用 "servers" 格式)
|
||||||
|
const mcpConfig = {
|
||||||
|
servers: {
|
||||||
|
devstar: {
|
||||||
|
type: 'http',
|
||||||
|
url: mcpUrl,
|
||||||
|
headers: {
|
||||||
|
Authorization: `Bearer ${userToken}`
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
|
const configJson = JSON.stringify(mcpConfig, null, 2);
|
||||||
|
|
||||||
|
try {
|
||||||
|
// 检查现有配置
|
||||||
|
let existingConfig: any = {};
|
||||||
|
let needUpdate = true;
|
||||||
|
|
||||||
|
if (fs.existsSync(mcpConfigPath)) {
|
||||||
|
try {
|
||||||
|
const content = fs.readFileSync(mcpConfigPath, 'utf8');
|
||||||
|
existingConfig = JSON.parse(content);
|
||||||
|
const existingDevstar = existingConfig.servers?.devstar;
|
||||||
|
|
||||||
|
if (existingDevstar) {
|
||||||
|
// 检查 URL 和 token 是否匹配
|
||||||
|
const urlMatch = existingDevstar.url === mcpUrl;
|
||||||
|
const tokenMatch = existingDevstar.headers?.Authorization === `Bearer ${userToken}`;
|
||||||
|
|
||||||
|
if (urlMatch && tokenMatch) {
|
||||||
|
console.log('[MCP] 本地 DevStar MCP 配置已存在且正确,无需更新');
|
||||||
|
needUpdate = false;
|
||||||
|
} else {
|
||||||
|
console.log(`[MCP] 本地 DevStar MCP 配置需要更新 (URL匹配: ${urlMatch}, Token匹配: ${tokenMatch})`);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
} catch (parseError) {
|
||||||
|
console.log('[MCP] 解析现有配置失败,将创建新配置');
|
||||||
|
}
|
||||||
|
} else {
|
||||||
|
console.log('[MCP] 本地无配置文件,需要创建');
|
||||||
|
}
|
||||||
|
|
||||||
|
// 创建或更新配置文件
|
||||||
|
if (needUpdate) {
|
||||||
|
// 确保目录存在
|
||||||
|
const configDir = path.dirname(mcpConfigPath);
|
||||||
|
if (!fs.existsSync(configDir)) {
|
||||||
|
fs.mkdirSync(configDir, { recursive: true });
|
||||||
|
}
|
||||||
|
|
||||||
|
// 合并现有配置(保留其他 MCP servers)
|
||||||
|
const newConfig = {
|
||||||
|
...existingConfig,
|
||||||
|
servers: {
|
||||||
|
...existingConfig.servers,
|
||||||
|
...mcpConfig.servers
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
|
fs.writeFileSync(mcpConfigPath, JSON.stringify(newConfig, null, 2), 'utf8');
|
||||||
|
console.log('[MCP] 本地 DevStar MCP 配置成功');
|
||||||
|
}
|
||||||
|
|
||||||
|
} catch (error) {
|
||||||
|
console.error('[MCP] 本地 MCP 配置失败:', error);
|
||||||
|
throw error;
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
|
|||||||
Reference in New Issue
Block a user