Veris
If you're running AI coding agents and want to know what behaviors a PR puts at risk before merging, this is the verification layer. It parses your TypeScript or JavaScript repo into a behavioral graph, diffs it against your base branch, scores blast radius and fragility, then groups code into 25 semantic workflows like Authentication or Billing. The 17 MCP tools let agents analyze PRs, detect drift via SHA-256 fingerprints, generate adversarial probes per workflow kind, allocate verification budgets with knapsack math, simulate rollbacks, and report execution results back so confidence scores decay realistically. Everything runs local, writes to SQLite, and exports an interactive HTML dashboard. No telemetry, no cloud tier. MIT licensed.
- tools
- 7
- transport
- STDIO
- env vars
- 3
- last updated
- May 18, 2026
Tools
7 toolsPublic tool metadata for what this MCP can expose to an agent.
analyze_pr_behaviorAnalyzes the behavioral changes in a PR against a base ref.
Analyzes the behavioral changes in a PR against a base ref.
No parameter schema in public metadata yet.
list_workflowsLists the semantic workflows detected in the codebase.
Lists the semantic workflows detected in the codebase.
No parameter schema in public metadata yet.
analyze_workflowAnalyzes a specific workflow for risk and affected behavior.
Analyzes a specific workflow for risk and affected behavior.
No parameter schema in public metadata yet.
generate_adversarial_probesGenerates adversarial probes for the changed behavior.
Generates adversarial probes for the changed behavior.
No parameter schema in public metadata yet.
allocate_budgetAllocates a given number of minutes to the highest-leverage verification subset.
Allocates a given number of minutes to the highest-leverage verification subset.
No parameter schema in public metadata yet.
detect_driftDetects drift in fingerprints across runs.
Detects drift in fingerprints across runs.
No parameter schema in public metadata yet.
what_if_revertShows what recovers if the given nodes are reverted.
Shows what recovers if the given nodes are reverted.
No parameter schema in public metadata yet.
Sponsors
Agent CaffeineSponsoredClose your lid, come back to finished work
SnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthly
WaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthly
knobsSponsoredSee your site on any phone, any day, in any languageConfiguration
VERIS_STATE_DISABLEDSet to 1 for zero-retention mode (skip all SQLite writes).
VERIS_PLUGINS_DISABLEDSet to 1 to skip loading .veris/plugins/*.js.
VERIS_CONFIDENCE_THRESHOLDVeris exits with code 2 when overall confidence falls below this number.
Readme
Veris
Veris
veris — Latin, “of truth”
Your agent just changed 40 files.
What actually broke, and was any of it checked?
Details
- Repository
- github.com/vighriday/veris
- Package
veris-core- Transport
- STDIO
- Registry
- MCP registry, active