High-risk tools in Chiasmus
2 of the 11 tools in Chiasmus 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
-
chiasmus_solveExecuteEnd-to-end: select template → fill slots → lint → verify → correction loop. Needs ANTHROPIC_API_KEY | DEEPSEEK_API_KEY | OPENAI_API_KEY. Without key → falls back to chiasmus_fo...
-
chiasmus_verifyExecuteSubmit formal logic to solver. Returns verified result. SOLVERS: z3 — SMT-LIB format → SAT + model | UNSAT + unsatCore | error prolog — facts/rules + query goal → answe...
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.