vighriday/Veris

Overview

Veris is an open-source behavioral verification infrastructure for autonomous software correctness. It provides 17 MCP-native tools including semantic workflow grouping, drift detection, counterfactual mode, and adversarial probes, all running locally-first with a confidence half-life mechanism.

Best for

Best for
Developers building autonomous systems who need local, open-source behavioral verification tools.

Use cases

• Verify autonomous agent behavior against expected workflows
• Detect behavioral drift in AI-driven software over time
• Run adversarial probes to test system robustness

Notes

Veris is an open-source behavioral verification infrastructure for autonomous software correctness. It provides 17 MCP-native tools including semantic workflow grouping, drift detection, counterfactual mode, and adversarial probes, all running locally-first with a confidence half-life mechanism.

0 stars on GitHub. Last updated 2026-05-19. Licensed MIT.

Use cases

• Verify autonomous agent behavior against expected workflows
• Detect behavioral drift in AI-driven software over time
• Run adversarial probes to test system robustness

Pros

• Local-first and MIT licensed for full control and customization
• Includes advanced verification features like counterfactual mode and drift detection
• MCP-native design integrates directly with model context protocols

Cons

• Zero stars and no community traction yet
• Limited documentation or examples beyond the repository
• Requires TypeScript expertise to set up and use

Indexed from awesome-mcp-servers-punkpeye and enriched against its public facts.