astrograph (Thaylo)

天体照相仪

一 MCP服务器 这有助于AI代理在编写之前检测重复代码。它提供了编写和编辑工具，使用AST图同构将新代码与代码库中的现有函数进行比较——由算法而不是LLM令牌提供支持。当发现结构重复时，将使用指向现有代码的指针阻止该操作。变量名、格式和注释将被忽略——如果两段代码共享相同的抽象结构，则ASTrogram会将它们标记为重复。

安装

添加 .mcp.json 到您的项目根目录：

{
  "mcpServers": {
    "astrograph": {
      "command": "docker",
      "args": [
        "run", "--rm", "-i", "--pull", "missing",
        "--add-host", "host.docker.internal:host-gateway",
        "-v", ".:/workspace",
        "thaylo/astrograph:latest"
      ]
    }
  }
}

图像是多拱形（amd64，arm64）。代码库在启动时被索引。元数据存储在项目目录之外（在用户数据目录中），因此它永远不会干扰您的代码库。

要更新到新版本，请执行以下操作：

docker pull thaylo/astrograph:latest

运行版本在MCP中始终可见 serverInfo.version 连接上的字段。

Claude Desktop

macOS： ~/Library/Application Support/Claude/claude_desktop_config.json 窗户： %APPDATA%\Claude\claude_desktop_config.json

{
  "mcpServers": {
    "astrograph": {
      "command": "docker",
      "args": [
        "run", "--rm", "-i", "--pull", "missing",
        "--add-host", "host.docker.internal:host-gateway",
        "-v", "/absolute/path/to/project:/workspace",
        "thaylo/astrograph:latest"
      ]
    }
  }
}

Codex

~/.codex/config.toml:

[mcp_servers.astrograph]
command = "docker"
args = [
  "run", "--rm", "-i", "--pull", "missing",
  "--add-host", "host.docker.internal:host-gateway",
  "-v", "/absolute/path/to/project:/workspace",
  "thaylo/astrograph:latest"
]

wmark

~/.config/wmark/.mcp.json （用户级别，适用于macOS上的所有项目）：

{
  "mcpServers": {
    "astrograph": {
      "command": "docker",
      "args": [
        "run", "--rm", "-i", "--pull", "missing",
        "--add-host", "host.docker.internal:host-gateway",
        "-v", "/Users:/Users:rw",
        "thaylo/astrograph:latest"
      ]
    }
  }
}

安装 /Users 使容器内的所有macOS主路径保持不变。呼叫 set_workspace 使用完整的主机路径（例如。 /Users/yourname/project)为项目编制索引。

对于Linux，替换 /Users:/Users:rw 和 /home:/home:rw.

Without Docker

pip install .

{
  "mcpServers": {
    "astrograph": {
      "command": "python",
      "args": ["-m", "astrograph.server"],
      "cwd": "/path/to/astrograph"
    }
  }
}

运作原理

您的代码库已包含：

# src/math.py
def calculate_sum(a, b):
    return a + b

AI代理试图写：

# src/utils.py
def add_numbers(x, y):
    return x + y

A程序检测到重复并阻止写入：

BLOCKED: Cannot write - identical code exists at src/math.py:calculate_sum (lines 1-2).
Reuse the existing implementation instead.

不同的变量名，相同的结构。源代码被转换为带标签的有向图，并使用Weisfeiler Leman哈希与VF2同构验证进行比较——所有这些都是算法，没有在搜索上花费LLM令牌。

检测类型

AST程序检测四种类型的结构复制：

接近重复检测可以捕获精确和模式检测失败的Type-3克隆。例如，Flask的 TagBytes, TagDateTime, TagTuple，以及 TagUUID 类共享80%以上的相同结构，但在叶级细节上有所不同。

语言支持

Python、JavaScript和TypeScript可以开箱即用。C、C++、Java和Go通过TCP连接到已经运行的语言服务器。

Docker镜像捆绑了Python和JS/TS LSP运行时。对于基于连接的语言，使用以下命令在TCP端口上公开语言服务器 socat 并通过MCP JSON进行配置：

{
  "mcpServers": {
    "astrograph": {
      "command": "docker",
      "args": ["run", "--rm", "-i", "--add-host", "host.docker.internal:host-gateway", "-v", ".:/workspace", "thaylo/astrograph:latest"],
      "env": {
        "ASTROGRAPH_CPP_LSP_COMMAND": "tcp://host.docker.internal:2088",
        "ASTROGRAPH_GO_LSP_COMMAND": "tcp://host.docker.internal:2091",
        "ASTROGRAPH_JAVA_LSP_COMMAND": "tcp://host.docker.internal:2089",
        "ASTROGRAPH_C_LSP_COMMAND": "tcp://host.docker.internal:2087"
      }
    }
  }
}

跑 lsp_setup(mode='inspect') 查看哪些语言可用，缺少什么。

真实世界的结果

在流行的开源项目上进行了测试：

通过VF2图同构验证了精确、模式和块发现。通过层次哈希前缀相似性（约80%的结构同一性）匹配近似重复项。

星迹

许可证

麻省理工学院