1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
= "table"
= "full"
= "error"
= "off"
# Optional selectors
= []
= []
# Optional output paths
# baseline = "baseline.json"
# md_out = "report.md"
# agent_pack = "fixes.json"
# agent_pack_format = "bundle"
[]
# output_dir = ".verifyos"
# path = ".verifyos/AGENTS.md"
# agent_pack_dir = ".verifyos/.verifyos-agent"
# write_commands = true
# shell_script = true
# fix_prompt = true
# profile = "basic"
[]
# output_dir = ".verifyos"
# agents = ".verifyos/AGENTS.md"
# format = "table"
# fix = true
# repair = ["pr-comment"]
# freshness_against = "report.json"
# plan_out = ".verifyos/repair-plan.md"
# profile = "basic"
# open_pr_brief = true
# open_pr_comment = true
[]
# doctor_repair = ["pr-comment"]
# comment_mode = "sticky"