校对:soup
CLI 用于 维度 ——AI生成代码的复合质量系统.
安装
npm install -g @codacy/verity-cli
cd your-project
verity init
verity init 是整个设置。 它问两件事, 每一个选择是
默认在一行中表示:
┌ Verity · acme/payments
◇ Looked at your repository
◇ Verity reviews every turn, every commit and every push
│ To change it, run verity config moments, or just ask Claude.
◇ Hooks here: this project's .claude/settings.json
◇ Signed in as [email protected] ← question 1
◇ Profile sent · no source code ← question 2
◇ 6 rules for this repository · from 500 commits and 2 docs · 14s
◇ Standard v1 saved
└ Ready in 41s.
- 签字. 输入在您的浏览器中打开 GitHub 的设备页面并附带代码
已经放在剪贴板上。 如果Verity GitHub App无法看到寄存器,
init 打开安装页面并等待它。 新闻
s要跳过 : 本地安全扫描运行,因为AI审查需要登录. - 发送 repo 简介 ? 仅在您被签名和寄存器时询问
还没有标准。 简介有语言、框架和依赖性
名称、文件夹名称、 带有所更改路径的主题
CLAUDE.md和AGENTS.md 没有他们的代码块。 此步骤没有发送源
代码、 diffs 或作者名称, 而Verity 不存储配置文件 。 读吧
首先: 输入到
.verity/repo-profile.json,以及v显示它。 这个 服务为此寄存器撰写审查规则 。 后来,每次审查 发送更改的代码.
当它结束时,开始一个新的 Claude 代码会话: Claude 代码读取钩 会话开始 。 在插件下方, Verity 从您的下个回合来检讨 .
标准来自何处
| 情况 | 做什麽 |
|---|---|
.verity/standard.yaml 已经存在 | 留着它,如果服务没有,就分享它 |
| 此服务有此 repo 的标准 | 使用它,不问: 球队标准胜 |
| 都没有,你把档案寄出去 | 服务将项目规则写入 v1 |
| 也不是,你没有 | 从Verity的目录中为您的语言构建一个 |
目录标准是查询,不是猜测:语言和框架
数起并读取你的清单。 稍后增加项目规则
verity standard generate,或编辑 .verity/standard.yaml 运行
verity standard push。 。 。 .
默认, 以及如何更改
| 默认 | 换一个 |
|---|---|
| 每转一圈,每一次承诺,每一次推动 | verity config moments turn,commit,push (其中任何一个,或 none)或问克洛德 |
| 静态分析是Trivy安全扫描(其数据库下载在init的背景) | 无配置 |
| 推开时正式核实新项目;背面有4个下载 | verity config formal off,或 VERITY_NO_LEAN=1 输入前 |
| 成本和使用遥测关闭 | verity telemetry install |
重新运行会保持你之前的选择: 记录的瞬间, 保存的标准,以及
任何你设定 verity config。 。 。 .
| 旗帜 | 使用 |
|---|---|
--yes | 问一无所取(CI,脚本,代理). 签名被跳过, 除非您已经签名, 而配置文件只发送到 --profile send。 。 。 . |
--profile send|skip | 答相貌相所问而无所问. /verity:init 请求在克洛德代码会话中通过 |
--no-adopt | 不要使用服务所持有的标准来进行这个repo:建立一个新的. 完全跳过请求 |
--moments <list> | 设定此运行的瞬间而非默认 : stop,pre-commit,pre-push,或 none |
--telemetry on|off | 打开或关闭成本遥测( init 不询问) (U) |
--untrack-memory • 妇女 --untrack-state | 停止跟踪知识图, 或承诺的 Verity 状态, 在 git (init 不询问) |
--force | 覆盖已安装的技能, 即使它们不同 |
--no-setup • 妇女 --intensity | 为旧的脚本和插件技能接受并被忽略 |
按 Ctrl- C 在任意一点: 每一步都可以再跑, 所以什么都没有了
半个字. verity setup 是同一命令的别名。 运行
verity doctor 任何时间看到先决条件, 钩线,是什么
仍然失踪.
报告内容
一旦你被签入,它发送一个小事件 每一步 服务,让我们可以看到设置在哪里停止。 每一场赛事都有一个步骤,如何 结束(对于配置步骤:发送、拒绝或未询问),以及自 开始。 一个随机的ID链接一个运行的步骤, 事件与你的账户有关 Init 不发送仓库名称, 不 路径和没有机器标识.
在你签字前,没有寄出去 台阶等着 ~/.verity/init-trace.json
继续你的下一场比赛 跑步时从未有签注
从来没有发送, 和它的进入 30天后放弃。 设定 DO_NOT_TRACK=1 转向
所有这一切关闭。 它也在CI关闭.
产出
人类产出 标准; stdout 仅载有数据(--json) (中文(简体) ). 这个
单词标记,颜色和运动只在 Stderr 为终端时才会出现. 单位
CI,在一个管子里,或者当它运行在克洛德代码会话中时,你得到同样的
结果为平线:没有艺术,没有运动,没有逃生序列,没有问题
没有人能回答. NO_COLOR 财务报告和审定财务报表 TERM=dumb 保持运动并放弃
颜色; VERITY_REDUCED_MOTION=1 保持颜色并放弃运动;
VERITY_NO_BROWSER=1 停止打开浏览器的登录.
拒绝许可?
若为 npm install -g 失败 EACCES,您的 npm 全球目录需要修改 :
mkdir -p ~/.npm-global
npm config set prefix ~/.npm-global
echo 'export PATH=~/.npm-global/bin:$PATH' >> ~/.zshrc # or ~/.bashrc
source ~/.zshrc
npm install -g @codacy/verity-cli
升级
npm install -g @codacy/verity-cli@latest
现有项目继续工作——新的复合特性(知识提取,图内存,工作前注射)自动激活.
0.32.6:不再承诺使用知识图
.verity/memory/ 曾经是被跟踪的。 这把Verity的生成的音符 投入
每一个diff和拉请求, 所以团队最终审查 知识基础在
就像他们写的一样 新工程现在忽略它——文件保留在
磁盘,对于一个签名的工程,服务将它们同步到任何工作树上
就差这些了.
未签名的,该图表仅限本地签名. 恢复来自
服务镜像需要认证的运行, 所以匿名工程的图
仅活在自己的工作树上:没有承诺,也没有重建
别的地方 这是刻意交易 匿名者不会给
共享商店,但这意味着 verity memory untrack 匿名项目
留你一本,在一台机器上.
已经输入其图表的项目不更改 . A 类 .gitignore 规则
无法删除已跟踪到的文件, 因此提供切换而不是
强制:
verity memory untrack # keeps every file on disk, stages their removal from git
verity memory track # keep committing it on purpose, and stop being asked
verity doctor 报告您的项目设置方式 .
来自GATE.MD(@codacy/gate-cli{\fn黑体\fs22\bord1\shad0\3aHBE\4aH00\fscx67\fscy66\2cHFFFFFF\3cH808080}你觉得呢?
GATE.MD现在是Verity。 一次性切换 :
npm rm -g @codacy/gate-cli
npm install -g @codacy/verity-cli
verity init # per project — moves .gate→.verity, keeps your token, Standard & memory
不需要重新设置 : 您的代号, 标准, 运行历史 .
快速引用
| 命令 | 说明 |
|---|---|
| 核心 | |
verity init | 在这个项目中设置Verity:两个问题(签名,发送回波剖面),钩子,和标准(别名: verity setup(中文(简体) ) |
verity doctor | 先决条件、设置阶段、接线以及仍然缺少的(--json 可读报告) |
verity standard synthesize | 从这个代码库衍生出标准——没有模型,没有网络(--push, (中文(简体) ), --force) (中文(简体) ). 静态分析只是Trivy,不需要配置 |
verity analyze | 在已更改的文件上运行分析( 停止勾钩) |
verity analyze --mode <mode> | 力分析模式(标准/计划/调试/skip) |
verity review --files <paths> | 点播分析(咨询) |
verity status | 显示工程质量状态 |
verity status --history | 以结果摘要显示最近运行的历史 |
verity run <run-id> | 显示特定过去运行的发现; --json 用于机器可读输出 |
| 认证配置( C) | |
verity login | 与 GitHub 登录一次—— 允许访问您可以写入的每个仓库 |
verity login --force | 重新确认和刷新您的补助金( 以及停滞补助金如何治愈) |
verity login --start • 妇女 --finish | 相同的登录分两个步骤, 对于无法持有终端打开的呼叫器( 代理工具呼叫) : --start 打印代码为 JSON 并返回, --finish 等待批准(--wait <s>,默认为100)和日志输入. --cancel 丢弃待决代码 |
verity auth register | 注册单个项目( 逐项签名; 由 verity login(中文(简体) ) |
verity token create --name <name> | CI 的 Mint 服务符 (--expires <days> 可选) |
verity token list | 列出此寄存器的令牌( 仅标识和元数据) |
verity token revoke <id> | 通过 id 撤销一个符号 |
verity sessions list | 列出您的登录数据 - 设备, 最后使用, 过期( 90天后过期) |
verity sessions revoke <id> | 按会话 id 撤消一个登录 |
verity logout | 在这台机器上签字 |
verity logout --others | 签署每台其他机器(例如丢失的笔记本电脑) |
verity logout --all | 到处签名,包括这里 |
verity hooks install | 电线克洛德密码钩 |
verity config moments turn,commit,push | 更改时 严格审查:每个回合,每个承诺,每个推动(所有三个都是默认的; none 关掉它们) |
verity hooks install --moments stop,pre-commit,pre-push | 同样,在钩子名中(用于脚本) |
verity standard push | 上传工程标准 |
| 知识 | |
verity reflect | 当前任务的触发知识提取 |
verity reflect --user-input "..." | 保存人类的反射作为知识节点 |
verity reflect --user-input - | 同样的,从Stdin读到文本, 所以它从来没有通过贝壳引用 |
verity reflect --kind decision | 指定节点类型 |
verity memory untrack | 别犯法了 .verity/memory/ ——图表留在磁盘上,留下了你的光碟 |
verity memory track | 刻意提交图表,并记录一下,没有任何东西可以改变它 |
| 正式核查 | |
verity config formal push | 打开它来检查:推开时,一个风险变化的功能可能会得到一个精益模型,检查并重放(见下文). 默认的新项目 |
verity config formal off | 关掉 |
verity lean status 编号 : install 编号 : remove | 使用管理后精益4工具链检查模型(QQ800 MB下载,磁盘2.7 GB) |
verity prove candidates [paths] | 从历史和形状信号中排出最危险的代码, 没有模型 |
verity prove auto [files] | 在上游承诺之前手动进行推进阶段 |
verity prove waive <file> --reason "…" | 排除复制的这些精确字节的反例; 如果文件更改, 则返回 |
| 反馈 | |
verity feedback message "text" | 发送一般反馈 |
verity feedback message - | 同样,从 stdin 读取信件 |
verity feedback finding <run-id> <pattern-id> <action> | 每一份调查反馈 |
| 任务 | |
verity task list | 列表任务 |
verity task close | 关闭当前任务( 触发提取) |
技能(语言规范)
| 技能 | 说明 |
|---|---|
/verity-setup | 具体项目的建议 custom_patterns 从代码(可选; verity init 已经获得标准) |
/verity-analyze | 需求分析 |
/verity-status | 项目保健仪表板 |
/verity-feedback | 反馈(一般+每次调查) |
/verity-learn | 查看和管理项目知识 |
/verity-memory | 浏览知识图 |
/verity-insights | 质量衡量标准+标准演变 |
/verity-reflect | 任务后抓取学习 |
/verity-prove <worry> | 根据要求进行正式核查:将一个功能放在一起,在Lean中建模,在真实代码上重放任何反例 |
正式核查(选入)
时 git push除了评论,Verity可以建立一个 小精度4型一个
变化中的风险函数搜索其行动的每次交接
当财产破裂时, 在真实代码上重放失败的踪迹
在一个一次性容器。 只有反例 复制在真实
代码可以阻断推力;单靠一个模型的意见永远不会实现.
多数推手没有正式检查. 阶段只在推力触动时运行 函数,看起来值得它:历史说文件已经修正过 文本显示一个有风险的形状(检查时的动作、重试、金钱、认证、交易、a) 并且一个便宜的排名呼叫 把它评分高于酒吧。 医生的推开,测试 或普通代码停止在第二秒 并有一个命名的原因。 反实例 只被重放为 类型脚本、 Java 脚本和 Python; 其他语言停止 在任何模型支付之前.
对于一个新项目, verity init 打开它,开始精益4的下载
背景(QQ800 MB, 2.7 GB 在磁盘上); verity lean status 显示
页:1 在利恩准备好之前,一个推车报告 formal: skipped (no-toolchain: Lean installing, 63%) 大门决定不变 没有
在 CI 中开始下载( 除非 VERITY_LEAN=1),与 VERITY_NO_LEAN=1, (中文(简体) ),
正式关闭,或不足3.75GB免费。 重新运行它永远不会转向
正式开始.
verity config formal off # turn it off for this checkout
verity lean install # the toolchain, if the background download did not run
verity prove auto # try it by hand on what is ahead of upstream
该服务保存了每个阶段(功能,模型)的结构化记录 名字,每个承诺的id 和行号或规则 它所依赖的,每个 反例 行动名称的踪迹 及其判决), 从来没有代码 模型、绳子或任何关于他们的传言 完整帐户——什么 被选中,五条结构规则, 什么回放证明,成本和上限, 以及仪表板显示的东西 https://verity.md/docs/正规。 。 。 .
如何运作
Prompt → inject knowledge → Agent works → verity analyze → reviewer + knowledge → PASS/FAIL
↓
extract learnings → .verity/memory/ (graph)
↓
next prompt starts smarter
质量门发现问题。 知识系统防止它们反复出现。 每次分析都会教下一个.
需要节点.js 20+.