Veris
MCP 服务器Claude Code 工具与能力 低风险
行为验证基础设施 — 面向自主软件正确性的MCP原生智能层。提供17个MCP工具、语义工作流分组、漂移检测、反事实模式、对抗性探测、置信半衰期。本地优先，MIT许可，开源。
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 服务器
npx -y veris-core Claude Code
git clone https://github.com/vighriday/Veris ~/.claude/skills/Veris 推荐参考
45 工具本身 · 参考星标、下载量、最近更新、安全检查和文档情况
– 用户关注 · 参考最近的查看、安装命令复制和外链访问
45 推荐程度
0访问
0独立访客
0复制安装命令
0下载点击
0外链跳转
信息
- 协议
- MIT
- 语言
- TypeScript
- GitHub 星标
- 1
- 月下载
- 247
- 最近更新
- 2026-09-07
- 创建于
- 2026-05-18
基础安全检查
- 检查结果
- 无
- 收录来源
- curated:punkpeye/awesome-mcp-servers
- 主题标签
- 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