Veris
MCP ServerClaude Code Tools & Capabilities Low risk
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.
行为验证基础设施 — 面向自主软件正确性的MCP原生智能层。提供17个MCP工具、语义工作流分组、漂移检测、反事实模式、对抗性探测、置信半衰期。本地优先，MIT许可，开源。
How to install
MCP Server
npx -y veris-core Claude Code
git clone https://github.com/vighriday/Veris ~/.claude/skills/Veris Recommendation signals
45 Tool quality · Based on stars, downloads, maintenance, security and docs
– User interest · Adjusted by in-site views, install copies and download clicks
45 Overall
0views
0unique visitors
0install copies
0download clicks
0outbound clicks
Meta
- License
- MIT
- Language
- TypeScript
- GitHub stars
- 1
- mo. downloads
- 247
- Last push
- 2026-09-07
- Created
- 2026-05-18
Basic safety check
- Findings
- None
- Sources
- curated:punkpeye/awesome-mcp-servers
- Topics
- agentic-ai, ai-agents, ai-code-review, ai-safety, behavioral-graph, claude-code, code-analysis, code-intelligence, cursor, developer-tools, drift-detection, mcp, mcp-server, model-context-protocol, nodejs, oss, static-analysis, ts-morph, typescript, verification
Related plugins
MCP Server
Score91
mobile-mcp
mobile-next/mobile-mcp
Model Context Protocol Server for Mobile Automation and Scraping (iOS, Android, Emulators, Simulators and Real Devices)
MCP Server
Score88
davinci-resolve-mcp
samuelgursky/davinci-resolve-mcp
MCP server integration for DaVinci Resolve Studio
MCP Server
Score83
ssh-mcp
tufantunc/ssh-mcp
MCP server exposing SSH control for Linux servers via Model Context Protocol.