File size: 148 Bytes
b1b2f5e
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
[
  "bash",
  "edit_file",
  "grep_search",
  "read",
  "run_command",
  "tier_cloud",
  "tier_frontier",
  "tier_local",
  "view_file",
  "write"
]