Behavioral diff for AI-written code. Your agent changed 40 files — Veris tells it what behavior actually changed and whether any of it was verified. MCP-native, checker-resolved call graph, tamper-evident evidence. Never executes your code. Local-first, MIT.
接入配置
选择客户端，复制配置，再按项目文档补齐环境变量。
claude mcp add veris -- npx -y veris-core~/.codex/config.toml
[mcp_servers.veris]
command = "npx"
args = ["-y", "veris-core"]
# codex mcp add veris -- npx -y veris-core~/.cursor/mcp.json
{
"mcpServers": {
"veris": {
"command": "npx",
"args": [
"-y",
"veris-core"
]
}
}
}.vscode/mcp.json
{
"servers": {
"veris": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"veris-core"
]
}
}
}~/.gemini/settings.json
{
"mcpServers": {
"veris": {
"command": "npx",
"args": [
"-y",
"veris-core"
]
}
}
}claude_desktop_config.json
{
"mcpServers": {
"veris": {
"command": "npx",
"args": [
"-y",
"veris-core"
]
}
}
}.trae/mcp.json
{
"mcpServers": {
"veris": {
"command": "npx",
"args": [
"-y",
"veris-core"
]
}
}
}