Veris MCP
Veris is a local-first, MIT-licensed MCP server that provides behavioral verification intelligence for AI coding agents. It analyzes changes in AI-written code to determine what behavior actually changed and whether those changes were verified, without executing any code. It uses a checker-resolved call graph to provide tamper-evident evidence of behavioral diffs.
Package and access
Local package with source-attributed installation metadata. Koskamo does not execute packages during review.
What you can do with it
- Analyze behavioral diffs in AI-written code
- Verify if code changes are covered by tests
- Detect unverified behavioral changes in agent output
Source and maintenance
- Maintenance checked
Packages and installation
Source-provided package data. Koskamo has not executed or live-probed this package.
veris-core 2.1.8
{
"version": "2.1.8",
"transport": "stdio",
"identifier": "veris-core",
"registryType": "npm",
"runtimeArguments": [
{
"type": "positional",
"value": "mcp",
"isRequired": true
}
],
"environmentVariables": [
{
"name": "VERIS_STATE_DISABLED",
"format": "string",
"description": "Set to 1 for zero-retention mode (skip all SQLite writes)."
},
{
"name": "VERIS_PLUGINS_DISABLED",
"format": "string",
"description": "Set to 1 to skip loading .veris/plugins/*.js."
},
{
"name": "VERIS_CONFIDENCE_THRESHOLD",
"format": "string",
"description": "Veris exits with code 2 when overall confidence falls below this number."
}
]
}Tools
Reported by the attributed source; not independently observed by Koskamo.
Connect from your client
Each snippet configures the same source-provided package; replace placeholders before use.
Cursor
{
"mcpServers": {
"veris-mcp-veris-core": {
"command": "npx",
"args": [
"-y",
"veris-core@2.1.8"
],
"env": {
"VERIS_STATE_DISABLED": "<YOUR_VERIS_STATE_DISABLED>",
"VERIS_PLUGINS_DISABLED": "<YOUR_VERIS_PLUGINS_DISABLED>",
"VERIS_CONFIDENCE_THRESHOLD": "<YOUR_VERIS_CONFIDENCE_THRESHOLD>"
}
}
}
}Cline
{
"mcpServers": {
"veris-mcp-veris-core": {
"command": "npx",
"args": [
"-y",
"veris-core@2.1.8"
],
"env": {
"VERIS_STATE_DISABLED": "<YOUR_VERIS_STATE_DISABLED>",
"VERIS_PLUGINS_DISABLED": "<YOUR_VERIS_PLUGINS_DISABLED>",
"VERIS_CONFIDENCE_THRESHOLD": "<YOUR_VERIS_CONFIDENCE_THRESHOLD>"
}
}
}
}VS Code
{
"servers": {
"veris-mcp-veris-core": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"veris-core@2.1.8"
],
"env": {
"VERIS_STATE_DISABLED": "<YOUR_VERIS_STATE_DISABLED>",
"VERIS_PLUGINS_DISABLED": "<YOUR_VERIS_PLUGINS_DISABLED>",
"VERIS_CONFIDENCE_THRESHOLD": "<YOUR_VERIS_CONFIDENCE_THRESHOLD>"
}
}
}
}Claude Desktop
{
"mcpServers": {
"veris-mcp-veris-core": {
"command": "npx",
"args": [
"-y",
"veris-core@2.1.8"
],
"env": {
"VERIS_STATE_DISABLED": "<YOUR_VERIS_STATE_DISABLED>",
"VERIS_PLUGINS_DISABLED": "<YOUR_VERIS_PLUGINS_DISABLED>",
"VERIS_CONFIDENCE_THRESHOLD": "<YOUR_VERIS_CONFIDENCE_THRESHOLD>"
}
}
}
}Let your agent find its tools
Find servers like Veris MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.