safe-chains 0.221.0

Auto-allow safe bash commands in agentic coding tools
Documentation 
1
2
3
4
5
6
7
8
9

[[command]]
name = "agda"
description = "Agda — dependently-typed programming language and proof assistant. Bare invocation type-checks / compiles the given .agda file, executing tactics and macros (arbitrary code). Carve-out: --version / --help only."
url = "https://agda.readthedocs.io/en/latest/tools/command-line-options.html"
researched_version = "Agda 2.x"
level = "Inert"
bare = false
max_positional = 0
standalone = ["--help", "--version", "-?", "-V", "-h"]