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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90

{
  "permissions": {
    "allow": [
      "Bash(git add:*)",
      "WebFetch(domain:docs.anthropic.com)",
      "Bash(cabal build:*)",
      "Bash(tmux capture-pane:*)",
      "Bash(nix-build:*)",
      "Bash(hoogle search:*)",
      "Bash(rg:*)",
      "Bash(tmux send-keys:*)",
      "Search(//nix/store/*-doc/share/doc/*/html/*)",
      "Bash(tmux new-session:*)",
      "WebFetch(domain:localhost)",
      "Bash(cabal test:*)",
      "Bash(tmux list-sessions:*)",
      "Bash(tmux kill-session -t hoogle-docs)",
      "Bash(grep:*)",
      "Bash(find:*)",
      "Bash(curl:*)",
      "Bash(sqlite3:*)",
      "Bash(cabal run fish-history-converter:*)",
      "Bash(sed:*)",
      "Bash(ls:*)",
      "WebFetch(domain:raw.githubusercontent.com)",
      "Bash(zig build)",
      "Bash(zig build:*)",
      "WebFetch(domain:github.com)",
      "Bash(fusermount:*)",
      "Bash(true)",
      "Bash(cat:*)",
      "Bash(mkdir:*)",
      "Bash(tmux kill-session:*)",
      "Bash(tmux set-option:*)",
      "Bash(ghci-capture:*)",
      "Bash(./ghci-capture whatcd-repl)",
      "Bash(psql:*)",
      "Read(//home/philip/depot/**)",
      "Bash(git -C /home/philip/depot log --oneline canon -10)",
      "Bash(go doc:*)",
      "Bash(go mod:*)",
      "Bash(go build:*)",
      "Bash(TZ=UTC date:*)",
      "Bash(chmod:*)",
      "Bash(claude-last-position set:*)",
      "Bash(users/Profpatsch/claude-last-position/claude-position-hook)",
      "Read(//home/philip/.config/micro/plug/mytest/**)",
      "Bash(nman:*)",
      "Read(//home/philip/.config/fish/**)",
      "Read(//home/philip/.go/pkg/mod/github.com/varlink/go@v0.4.0/varlink/**)",
      "WebFetch(domain:dbus.freedesktop.org)",
      "Bash(dbus-send:*)",
      "Bash(nix-prefetch-url:*)",
      "Bash(nix flake show:*)",
      "WebFetch(domain:varlink.org)",
      "WebFetch(domain:spec.modelcontextprotocol.io)",
      "Read(//home/philip/kot/micro/**)",
      "Read(//nix/store/**)",
      "Read(//home/philip/.go/pkg/mod/github.com/varlink/go@v0.4.1-0.20251007125530-ec4cb6396012/varlink/idl/**)",
      "Bash(nix profile upgrade:*)",
      "mcp__maildir__NewSession",
      "Bash(journalctl:*)",
      "Bash(nix profile list:*)",
      "mcp__maildir__InitializeMaildirSession",
      "mcp__maildir__RequestIntentToken",
      "mcp__maildir__InvokeAction",
      "Bash(llm:*)",
      "Bash(go run:*)",
      "Bash(systemctl:*)",
      "Bash(timeout 10 llm-complete:*)",
      "Read(//home/philip/nixpkgs/**)",
      "Read(//home/philip/.cache/varlink-mcp-bridge/**)",
      "WebFetch(domain:pkg.go.dev)",
      "Bash(nix-instantiate:*)",
      "Bash(./result/bin/git-branchey:*)",
      "Bash(go test:*)",
      "Bash(time ./result/bin/git-branchey:*)",
      "Bash(timeout 10 ./result/bin/git-branchey:*)",
      "Bash(timeout 30 ./result/bin/git-branchey:*)",
      "Bash(git-branchey:*)",
      "Bash(go vet:*)"
    ],
    "deny": []
  },
  "enabledMcpjsonServers": [
    "claude-last-position",
    "display-brightness",
    "maildir"
  ]
}