// MCP TOOL REFERENCE

CHIASMUS TOOLS

11 tools from the Chiasmus MCP Server, categorised by risk level.

// ALL 11 CHIASMUS TOOLS

READ 6 tools

Read chiasmus_review Phased code-review recipe — which tools to run, in what order, what to flag. Pure plan, no side effects. Ex... Read chiasmus_formalize Find best template for problem → return skeleton + slot-filling instructions + tips. Guided workflow: 1.... Read chiasmus_graph Analyze source-code call graphs (tree-sitter + Prolog). Absolute paths only. Languages: TypeScript, JavaScr... Read chiasmus_map Pre-built codebase map — read before bulk file reads. Returns a compact outline derived from the tree-sitt... Read chiasmus_search Semantic code search over a set of files. Finds functions and methods whose meaning matches a natural-langu... Read chiasmus_skills Search/list formalization templates. Returns skeletons, slots, normalization recipes, usage metadata. Find...

WRITE 3 tools

Write chiasmus_craft Create a new formalization template and add it to the skill library. The calling LLM designs the template ... Write chiasmus_learn Extract reusable template from verified solution → add to skill library. Generalizes concrete spec into pa... Write chiasmus_lint Fast structural validation of formal spec without running solver. Auto-fixes: markdown fences, (check-sat)...

EXECUTE 2 tools

Execute chiasmus_solve End-to-end: select template → fill slots → lint → verify → correction loop. Needs ANTHROPIC_API_KEY | DEEP... Execute chiasmus_verify Submit formal logic to solver. Returns verified result. SOLVERS: z3 — SMT-LIB format → SAT + model |...

// FAQ

How many tools does the Chiasmus MCP server have? +

The Chiasmus MCP server exposes 11 tools across 3 categories: Read, Write, Execute.

How do I enforce policies on Chiasmus tools? +

Route the Chiasmus server through the PolicyLayer gateway. Define allow, deny, or approval rules per tool in the dashboard; they are enforced on every call before it reaches the server.

What risk categories do Chiasmus tools fall into? +

Chiasmus tools are categorised as Read (6), Write (3), Execute (2). Each category has a recommended default policy.

Enforce policy on every Chiasmus tool call.

Deterministic rules across all 11 Chiasmus tools. Per-identity grants. Full audit log. Live in minutes. Nothing to install.

GOVERN CHIASMUS →

Free to start. No card required.

42,500+ MCP servers and 110,000+ tools scanned and risk-classified.