Module tool_defs

Constants§

core_tool_names
discover_tools
granular_tool_defs: Full tool definitions for the MCP tools/list fallback and the lazy core set.
is_full_mode
lazy_tool_defs
tool_def
unified_tool_defs: Consolidated tool surface for LEAN_CTX_UNIFIED clients: the four native replacements plus a single ctx meta-tool that fans out to every sub-tool via an action argument. This is an intentionally distinct surface (the ctx meta-tool does not exist as a standalone registry entry), so it is maintained here rather than derived from the registry.