Kaiza MCP Server
ATLAS-GATE MCP (VS Code 版)
用于智能体 AI 的单 IDE 代理安全网关
ATLAS-GATE 是一个零信任安全网关,为 AI 智能体强制执行**“计划即法律”**。此版本针对 VS Code 进行了优化,将以前的双智能体(Antigravity/Windsurf)模型整合为单一的高性能 MCP 代理。
🔐 问题:智能体混乱
AI 智能体可以在没有任何预授权、审计追踪或质量强制执行的情况下,向任何文件写入任意代码。ATLAS-GATE 通过要求每次文件写入在到达磁盘前必须通过五道加密流水线来解决此问题。
🏗️ 解决方案:代理架构
ATLAS-GATE 不再管理两个独立的智能体和服务器,而是作为一个单一的 MCP 服务器运行,在内部管理您变更的生命周期。
一个服务器:
atlas-gate同时处理计划和执行。一个会话:代理维护状态、活动计划和审计日志。
一个配置:简单的
.vscode/mcp.json设置。
工作原理(五道门流水线)
每个 write_file 调用都会经过五道顺序门:
模式 (Schema):验证输入结构。
计划授权 (Plan Authority):确保代理会话中存在已签署的活动计划。
意图 (Intent):要求提供一份配套的
.intent.md,解释变更的原因。存根检测 (Stub Detection):在 AST 层面拦截
TODO、mock、空的catch等。审计提交 (Audit Commit):写入磁盘并追加到哈希链式审计日志中。
🚀 快速入门 (VS Code)
1. 安装
git clone https://github.com/dylanmarriner/ATLAS-GATE-MCP.git
cd ATLAS-GATE-MCP
npm install2. 自动化设置
运行设置脚本以生成您的 VS Code MCP 配置:
npm run setup:vscode这将创建指向本地代理的 .vscode/mcp.json。
3. 验证环境
运行诊断脚本以确保一切就绪:
npm run doctor:vscode🔌 MCP 客户端配置
VS Code(支持 Copilot/MCP)现在将看到一个单一的服务器:
{
"servers": {
"atlas-gate": {
"command": "node",
"args": ["/path/to/bin/atlas-gate-vscode.js"],
"env": {
"ATLAS_WORKSPACE_ROOT": "${workspaceFolder}",
"ATLAS_HOST_IDE": "vscode"
}
}
}
}⚡ 代理工作流
初始化:使用您的工作区根目录调用
begin_session。计划:起草您的计划并调用
lint_plan。授权:调用
save_plan。代理将签署该计划并将其锁定在当前会话中。执行:调用
write_file。代理会自动根据会话锁定的计划进行验证。验证:调用
verify_phase以确认变更的完整性。
⚙️ 关键脚本
命令 | 描述 |
| 手动启动 VS Code 代理 |
| 生成 VS Code MCP 配置 |
| 对代理运行诊断检查 |
| 运行完整的安全和集成测试套件 |
🛡️ 治理不变量
ATLAS-GATE 强制执行八个机械不变量 (I1–I8),以确保完全的可审计性和代码质量。从路径限制 (I3) 到零存根强制执行 (I4),代理确保您的 AI 智能体保持在您定义的护栏之内。
🤝 贡献
质量标准是机械强制执行的。包含 TODO、存根实现或空错误处理程序的 PR 将被治理 AI 智能体的同一流水线拒绝。
作者:Dylan Marriner · 版本:2.1.0 · 许可证:MIT
This server cannot be installed
Resources
Unclaimed servers have limited discoverability.
Looking for Admin?
If you are the server author, to access and configure the admin panel.
Latest Blog Posts
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/dylanmarriner/MCP-server'
If you have feedback or need assistance with the MCP directory API, please join our Discord server