High-risk tools in Agda
2 of the 71 tools in Agda are classified as high risk. This page profiles those tools specifically, with recommended policy actions and the attack patterns that target them.
Every operation listed below is an action PolicyLayer recommends controlling at the transport layer. Open any tool to see the full profile, risk score, and YAML policy snippet.
Tools at high risk
-
agda_compileExecute 4/5Compile a module through Agda's Cmd_compile command using a selected backend.
-
agda_impactExecute 4/5Report the dependency impact of an Agda source file. Returns the direct + transitive sets in both directions: which files import this one (`dependents`) and which files this one...
Attacks that target this class
High-risk tools in any server share these documented attack patterns. Each links to the full case and the defensive policy.
More on Agda
Enforce policy on Agda
One command generates a policy scaffold for every server in your MCP config.
npx -y @policylayer/intercept init