1diff --git a/dot_config/opencode/AGENTS.md b/dot_config/opencode/AGENTS.md
2index 0fe7dd562b5ad0c016cb961eaf7a52e6b54f7b5f..1c086706f4dde560ebfa9d6266c3e00a3439241b 100644
3--- a/dot_config/opencode/AGENTS.md
4+++ b/dot_config/opencode/AGENTS.md
5@@ -62,7 +62,7 @@ Services that I explicitly ask you to access are fine, e.g. GitHub for PRs
6 7 ## Go development
8 9-- Always use `make lint` if available, if not, prefer `go vet` over `go build`
10+- Always use `go vet` instead of `go build` when only checking the syntax
1112 ### Cross-repo Go module changes
13