A separate manual describes the mechanism for defining a tool. See PLT Tools: DrScheme Extension Manual.