Install Veris in Claude Code
claude mcp add veris -- npx -y veris-core{
"mcpServers": {
"veris": {
"command": "npx",
"args": [
"-y",
"veris-core"
]
}
}
}Frequently asked questions
What does the Veris MCP server do?
Behavioral verification for TS/JS repos: builds a behavioral graph, clusters workflows, detects drift and generates adversarial probes with risk scores.
Is the Veris MCP server free?
Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.
Does Veris run locally or remotely?
Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.
How do I add Veris to Claude Code?
Run: claude mcp add veris -- npx -y veris-core
More developer tools MCP servers
View allcodetopo
nrupala/codetopo
See your codebase the way an agent sees it: turns a source repository into a queryable code graph (symbols, calls, references, structure) with JSON answers an AI coding agent can act on directly, via 12 MCP tools over local stdio.
VerifyAX
verifyax/verifyax-mcp
Agent evaluation, simulation testing and functional/non-functional verification workflows on the VerifyAX platform.
Amtrak
pipeworx-io/mcp-amtrak
Amtrak MCP — live Amtrak train tracking via the community Amtraker API (api-v3.amtraker.com, a…
Validate
machinegrade/validate
Deterministic validation of AI-generated artifacts: JSON Schema and OpenAPI response conformance and per-dialect SQL syntax, with typed verdicts and fix hints.
Arch Deterministic
archradhq/arch-deterministic
Deterministic IR/IR-LINT validation, policy packs, drift vs exports (archrad). Apache-2.0.
Tactual
tactual-dev/tactual
Screen-reader navigation cost analyzer that models assistive technology user effort with per-profile scoring, graph-based pathfinding and navigation traces.