crates.io
aretta-ai/aristo
An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they drift. Agent-first, MIT.
MIT2026年9月13日 · 指标 2.10.0
全部标签
目录标签
#code-verification
公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。
2 条记录
npm
validpilot/ai-verify-mcp
该仓库未发布描述。
MIT2026年9月15日 · 指标 2.10.0