vighriday / Veris Star 0 Code Issues Pull requests Discussions Behavioral Verification Infrastructure — MCP-native intelligence layer for autonomous software correctness. 17 MCP tools, semantic workflow grouping, drift detection, counterfactual mode, adversarial probes, confidence half-life. Local-first, MIT, OSS. typescript oss mcp code-analysis verification cursor ai-agents ts-morph claude-code behavioral-graph Updated May 19, 2026 TypeScript