vighriday/Veris

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.

1Stars on the repository

2Mods indexed here, across every type

1mo agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

veris

vighriday/Veris

MCP server Claude CodeCodexCursor +2

Behavioral verification intelligence for AI coding agents. 17 MCP tools. Local-first. MIT. Runs locally from the veris-core npm package. Needs 3 environment variables to run.

not rated 1 1mo ago A tokens not measured original MIT