appgrammar_subtract

Axiom: VII — Algebra | Category: Algebra

Multi-turn operation

This tool uses a multi-turn protocol. The initial call returns a prompt and token. Run the prompt on your LLM, then submit the structured output via appgrammar_tool_submit (or the tool-specific submit variant) to advance the operation.

Subtract one appgrammar from another. Removes modules and steps present in the second from the first.

Cleanly removing a deeply integrated feature (like authentication) from an existing codebase normally breaks hundreds of imports and leaves dead code. By subtracting the "Auth" appgrammar from the "Full App" appgrammar, the platform understands the module graph, strips out the auth stages, and heals the connective tissue — automatically converting protected routes to public routes and removing user relations from the database schema. The result is a valid, self-consistent appgrammar with the feature surgically excised.

This is a multi-turn operation. The server returns a prompt and token; run the prompt on your LLM and submit the result via appgrammar_tool_submit.

Parameters

Parameter	Type	Required	Description
source_appgrammar_id_a	string (UUID)	Yes	ID of the base appgrammar to subtract from.
source_appgrammar_id_b	string (UUID)	Yes	ID of the appgrammar whose modules will be removed. Must be different from the first.
params	object	No	Optional tool-specific parameters.

Example

{
  "method": "tools/call",
  "params": {
    "name": "appgrammar_subtract",
    "arguments": {
      "source_appgrammar_id_a": "a1b2c3d4-e5f6-7890-abcd-ef1234567890",
      "source_appgrammar_id_b": "f9e8d7c6-b5a4-3210-fedc-ba9876543210"
    }
  }
}