Agentic Veritas

The Engine That Compiles What You Mean

Intent compilation, uncertainty detection, and truth verification -- so agents know what you mean, how confident they should be, and what is actually true.

Quickstart · Problems Solved · How It Works · Capabilities · MCP Tools · Benchmarks · Install · API · Concepts

______________________________________________________________________

Agentra生态系统中的姐妹| .veritas 格式|20个功能|10个MCP工具|30+CLI命令

为什么选择AgenticVeritas

每个AI代理都能猜出你的意思。您说“构建一个API”，代理选择一个框架、一个数据库、一个身份验证策略和一个部署目标——而不需要询问。当结果与你的意图不符时，你会责怪模型。但该模型从未给出你想要什么的精确规格。

当前的修复不起作用。系统提示给出了上下文，但它们无法解决歧义。很少有镜头示例显示模式，但它们无法检测到用户的意图何时真正不确定。思维链推理解释了步骤，但它无法标记一路上做出的假设。

当前AI： 猜测意图并以虚假的信心呈现结果。 AgenticVeritas： 将意图编译成精确的规范，标记不确定性，通过澄清解决歧义，并根据证据验证索赔。

快速启动

cargo install agentic-veritas-cli
veritas --help

已解决的问题（请先阅读）

• 问题： 代理通过猜测来解释模糊的提示，从而产生错过用户意图的结果。

解决了的： 意图编译将自然语言解析为结构化域、实体、约束和操作规范——在执行之前检测到歧义。

• 问题： 即使在不确定的情况下，代理人也会以同样的信心给出所有答案。

解决了的： 不确定性检测用校准的置信度对每一项索赔进行评分，并标记缺乏支持证据的陈述。

• 问题： 代理人无法区分经过验证的事实和推断的假设。

解决了的： 真相验证通过证据链将索赔分为经过验证、支持、不支持和矛盾的类别。

• 问题： 代理无法推理用户需求中的因果关系。

解决了的： 因果推理追踪需求之间的依赖链，检测一个决策何时强制或阻止另一个决策。

• 问题： 无法知道代理人应该问什么问题，但没有问。

解决了的： 歧义检测可以识别差距，提出澄清问题，并在用户没有回应时透明地使用默认值。

# Compile what you mean, verify what is true -- three commands
veritas compile "Build a REST API for task management with team collaboration"
veritas ambiguity detect 
veritas verify 

______________________________________________________________________

运作原理

架构概述

+-------------------------------------------------------------+
|                     YOUR AI AGENT                           |
|           (Claude, Cursor, Windsurf, Cody)                  |
+----------------------------+--------------------------------+
                             |
                  +----------v----------+
                  |      MCP LAYER      |
                  |   10 Tools + stdio  |
                  +----------+----------+
                             |
+----------------------------v--------------------------------+
|                   VERITAS ENGINE                             |
+-----------+-----------+------------+-----------+------------+
| Intent    | Ambiguity | Uncertainty| Causal    | Truth      |
| Compiler  | Detector  | Scorer     | Reasoner  | Verifier   |
+-----------+-----------+------------+-----------+------------+

20能力

______________________________________________________________________

安装

git clone https://github.com/agentralabs/agentic-veritas.git
cd agentic-veritas
cargo install --path crates/agentic-veritas-cli

curl -fsSL https://agentralabs.tech/install/veritas | bash

独立担保： AgenticVeritas完全独立运营。不需要其他姐妹、外部服务或协调器。

MCP服务器

{
  "mcpServers": {
    "agentic-veritas": {
      "command": "agentic-veritas-mcp",
      "args": ["serve"]
    }
  }
}

______________________________________________________________________

许可证

麻省理工学院——见 许可证.