reddb_server/mcp/

tools.rs

//! MCP tool definitions for RedDB.
//!
//! Each tool exposes a specific RedDB capability to AI agents with a
//! typed JSON Schema input specification.

use crate::application::{OperationContextFactory, OperationContextInput};
use crate::json::{Map, Value as JsonValue};
use crate::server::route_catalog::{
    CommandAuthorizer, CommandPolicyEngine, CommandSpec, RouteAuth,
};

/// Canonical command behind the `reddb.ask` tool. That tool is built from the
/// AI runtime's descriptor rather than from [`all_tools`], so its command id
/// lives here instead of on a [`ToolDef`].
pub const ASK_TOOL_COMMAND_ID: &str = "ai.ask";

/// Definition of an MCP tool exposed by the RedDB server.
pub struct ToolDef {
    pub name: &'static str,
    pub description: &'static str,
    pub command_id: &'static str,
    pub input_schema: JsonValue,
}

impl ToolDef {
    pub fn descriptor_description(&self) -> String {
        descriptor_description(self.name, self.description, self.command_id)
    }
}

pub fn ask_descriptor() -> JsonValue {
    let mut descriptor = crate::runtime::ai::mcp_ask_tool::descriptor();
    let description = descriptor
        .get("description")
        .and_then(JsonValue::as_str)
        .expect("reddb.ask descriptor has a description");
    let decorated = descriptor_description(
        crate::runtime::ai::mcp_ask_tool::TOOL_NAME,
        description,
        ASK_TOOL_COMMAND_ID,
    );
    let JsonValue::Object(object) = &mut descriptor else {
        panic!("reddb.ask descriptor is an object");
    };
    object.insert("description".to_string(), JsonValue::String(decorated));
    descriptor
}

fn descriptor_description(tool_name: &str, description: &str, command_id: &str) -> String {
    let command = crate::server::command_catalog()
        .command(command_id)
        .unwrap_or_else(|| panic!("MCP tool {tool_name} maps to unknown command {command_id}"));
    format!(
        "{description}\n\nAuthorization: Embedded/local mode runs as implicit admin because the process owns the database. Remote mode requires credentials before dispatching canonical command `{}` ({}); the remote transport verifies those credentials and enforces IAM policy.",
        command.id,
        command_auth_label(command.auth),
    )
}

#[derive(Clone, Copy, Debug, Eq, PartialEq)]
pub enum McpIdentityPosture {
    EmbeddedImplicitAdmin,
    RemoteCredentialsPresented,
    RemoteCredentialsMissing,
}

struct McpCommandPolicyEngine {
    posture: McpIdentityPosture,
}

impl CommandPolicyEngine for McpCommandPolicyEngine {
    fn allows(
        &self,
        _operation_context: &crate::application::OperationContext,
        _command: &CommandSpec,
    ) -> bool {
        // Remote MCP is a client-side proxy: only the remote endpoint can
        // verify the presented credential and evaluate its IAM policies.
        // This local catalog gate establishes the mandatory-credential
        // posture before connector work; the forwarded transport request
        // remains the authoritative policy decision.
        !matches!(self.posture, McpIdentityPosture::RemoteCredentialsMissing)
    }
}

pub fn authorize_tool(
    tool_name: &str,
    posture: McpIdentityPosture,
) -> Result<&'static str, String> {
    let command_id = if tool_name == crate::runtime::ai::mcp_ask_tool::TOOL_NAME {
        ASK_TOOL_COMMAND_ID
    } else {
        all_tools()
            .into_iter()
            .find(|tool| tool.name == tool_name)
            .map(|tool| tool.command_id)
            .ok_or_else(|| format!("unknown tool: {tool_name}"))?
    };
    let principal = match posture {
        McpIdentityPosture::EmbeddedImplicitAdmin => Some("mcp:embedded-admin".to_string()),
        McpIdentityPosture::RemoteCredentialsPresented => {
            Some("mcp:remote-credentials-presented".to_string())
        }
        McpIdentityPosture::RemoteCredentialsMissing => None,
    };
    let operation_context = OperationContextFactory::build(OperationContextInput {
        principal,
        ..OperationContextInput::default()
    });
    let engine = McpCommandPolicyEngine { posture };
    CommandAuthorizer::new(crate::server::command_catalog(), &engine)
        .authorize(&operation_context, command_id)
        .map_err(|error| match posture {
            McpIdentityPosture::RemoteCredentialsMissing => {
                format!("remote MCP requires credentials: {error}")
            }
            _ => error.to_string(),
        })?;
    Ok(command_id)
}

fn command_auth_label(auth: RouteAuth) -> &'static str {
    match auth {
        RouteAuth::Undeclared => "undeclared",
        RouteAuth::Public => "public",
        RouteAuth::OptionalUser => "optional user",
        RouteAuth::UserRequired => "user required",
        RouteAuth::AdminToken => "admin token",
        RouteAuth::OpsCapability(_) => "operations capability",
        RouteAuth::StreamLease => "stream lease",
    }
}

/// Definition of a read-only MCP knowledge resource (ADR 0061).
///
/// The body is produced lazily by `body()` from the engine's own authorities
/// (e.g. `reddb_rql::knowledge` reads the lexer keyword set and the
/// `reddb-io-types` function catalog), so the served text cannot drift from the
/// engine and the resource carries no mutable state.
pub struct ResourceDef {
    pub uri: &'static str,
    pub title: &'static str,
    pub description: &'static str,
    pub mime_type: &'static str,
    pub body: fn() -> String,
}

/// The static set of knowledge resources `red mcp` serves. Each domain is
/// generated from the engine's own authorities (ADR 0061): the RQL reference
/// from `reddb-io-rql`, and the value-type catalog + multi-model map from
/// `reddb-io-types`, and the connection model from `reddb-io-wire`.
pub fn knowledge_resources() -> Vec<ResourceDef> {
    vec![
        ResourceDef {
            uri: reddb_rql::knowledge::RESOURCE_URI,
            title: reddb_rql::knowledge::RESOURCE_TITLE,
            description: reddb_rql::knowledge::RESOURCE_DESCRIPTION,
            mime_type: "text/markdown",
            body: reddb_rql::knowledge::rql_reference_markdown,
        },
        ResourceDef {
            uri: reddb_types::knowledge::RESOURCE_URI,
            title: reddb_types::knowledge::RESOURCE_TITLE,
            description: reddb_types::knowledge::RESOURCE_DESCRIPTION,
            mime_type: "text/markdown",
            body: reddb_types::knowledge::type_reference_markdown,
        },
        ResourceDef {
            uri: reddb_wire::knowledge::RESOURCE_URI,
            title: reddb_wire::knowledge::RESOURCE_TITLE,
            description: reddb_wire::knowledge::RESOURCE_DESCRIPTION,
            mime_type: "text/markdown",
            body: reddb_wire::knowledge::connection_reference_markdown,
        },
    ]
}

/// Build a JSON Schema object from a list of field descriptors.
fn schema(properties: Vec<(&str, &str, &str)>, required: Vec<&str>) -> JsonValue {
    let mut props = Map::new();
    for (name, field_type, description) in properties {
        let mut field = Map::new();
        field.insert(
            "type".to_string(),
            JsonValue::String(field_type.to_string()),
        );
        if !description.is_empty() {
            field.insert(
                "description".to_string(),
                JsonValue::String(description.to_string()),
            );
        }
        props.insert(name.to_string(), JsonValue::Object(field));
    }

    let mut obj = Map::new();
    obj.insert("type".to_string(), JsonValue::String("object".to_string()));
    obj.insert("properties".to_string(), JsonValue::Object(props));
    obj.insert(
        "required".to_string(),
        JsonValue::Array(
            required
                .into_iter()
                .map(|s| JsonValue::String(s.to_string()))
                .collect(),
        ),
    );
    obj.insert("additionalProperties".to_string(), JsonValue::Bool(false));
    JsonValue::Object(obj)
}

/// Build a JSON Schema object that accepts items with flexible inner types.
fn schema_with_nested(properties: Vec<(&str, JsonValue)>, required: Vec<&str>) -> JsonValue {
    let mut props = Map::new();
    for (name, descriptor) in properties {
        props.insert(name.to_string(), descriptor);
    }

    let mut obj = Map::new();
    obj.insert("type".to_string(), JsonValue::String("object".to_string()));
    obj.insert("properties".to_string(), JsonValue::Object(props));
    obj.insert(
        "required".to_string(),
        JsonValue::Array(
            required
                .into_iter()
                .map(|s| JsonValue::String(s.to_string()))
                .collect(),
        ),
    );
    obj.insert("additionalProperties".to_string(), JsonValue::Bool(false));
    JsonValue::Object(obj)
}

/// Simple string field descriptor.
fn string_field(description: &str) -> JsonValue {
    let mut f = Map::new();
    f.insert("type".to_string(), JsonValue::String("string".to_string()));
    f.insert(
        "description".to_string(),
        JsonValue::String(description.to_string()),
    );
    JsonValue::Object(f)
}

/// Simple number field descriptor.
fn number_field(description: &str) -> JsonValue {
    let mut f = Map::new();
    f.insert("type".to_string(), JsonValue::String("number".to_string()));
    f.insert(
        "description".to_string(),
        JsonValue::String(description.to_string()),
    );
    JsonValue::Object(f)
}

/// Simple integer field descriptor.
fn integer_field(description: &str) -> JsonValue {
    let mut f = Map::new();
    f.insert("type".to_string(), JsonValue::String("integer".to_string()));
    f.insert(
        "description".to_string(),
        JsonValue::String(description.to_string()),
    );
    JsonValue::Object(f)
}

/// Simple boolean field descriptor.
fn boolean_field(description: &str) -> JsonValue {
    let mut f = Map::new();
    f.insert("type".to_string(), JsonValue::String("boolean".to_string()));
    f.insert(
        "description".to_string(),
        JsonValue::String(description.to_string()),
    );
    JsonValue::Object(f)
}

fn type_field(field_type: &str) -> JsonValue {
    let mut f = Map::new();
    f.insert(
        "type".to_string(),
        JsonValue::String(field_type.to_string()),
    );
    JsonValue::Object(f)
}

/// Object field descriptor (accepts arbitrary JSON object).
fn object_field(description: &str) -> JsonValue {
    let mut f = Map::new();
    f.insert("type".to_string(), JsonValue::String("object".to_string()));
    f.insert(
        "description".to_string(),
        JsonValue::String(description.to_string()),
    );
    JsonValue::Object(f)
}

/// Array-of-numbers field descriptor.
fn number_array_field(description: &str) -> JsonValue {
    let mut items = Map::new();
    items.insert("type".to_string(), JsonValue::String("number".to_string()));

    let mut f = Map::new();
    f.insert("type".to_string(), JsonValue::String("array".to_string()));
    f.insert("items".to_string(), JsonValue::Object(items));
    f.insert(
        "description".to_string(),
        JsonValue::String(description.to_string()),
    );
    JsonValue::Object(f)
}

/// Array-of-strings field descriptor.
fn string_array_field(description: &str) -> JsonValue {
    let mut items = Map::new();
    items.insert("type".to_string(), JsonValue::String("string".to_string()));

    let mut f = Map::new();
    f.insert("type".to_string(), JsonValue::String("array".to_string()));
    f.insert("items".to_string(), JsonValue::Object(items));
    f.insert(
        "description".to_string(),
        JsonValue::String(description.to_string()),
    );
    JsonValue::Object(f)
}

/// Return all tool definitions exposed by the RedDB MCP server.
pub fn all_tools() -> Vec<ToolDef> {
    vec![
        ToolDef {
            name: "reddb_query",
            command_id: "query.execute",
            description: "Execute a SQL or universal query against RedDB. Supports SELECT, INSERT, UPDATE, DELETE, and graph queries (Gremlin, Cypher, SPARQL).\n\nALWAYS pass user-provided values via the `params` array using `$1`, `$2`, ... placeholders rather than interpolating them into the SQL string. Example: `{\"sql\": \"SELECT * FROM users WHERE id = $1\", \"params\": [42]}`. Interpolating user input directly is unsafe and brittle; the parameterized form is type-checked and immune to injection.",
            input_schema: schema_with_nested(
                vec![
                    ("sql", string_field("SQL or universal query to execute. Use `$1`, `$2`, ... placeholders for any value that came from the user.")),
                    ("params", {
                        let mut items = Map::new();
                        items.insert("description".to_string(), JsonValue::String("Bind value for the matching $N placeholder. Accepts null, boolean, number, string, array, or object.".to_string()));
                        items.insert(
                            "anyOf".to_string(),
                            JsonValue::Array(vec![
                                type_field("null"),
                                type_field("boolean"),
                                type_field("number"),
                                type_field("string"),
                                type_field("array"),
                                type_field("object"),
                            ]),
                        );
                        let mut f = Map::new();
                        f.insert("type".to_string(), JsonValue::String("array".to_string()));
                        f.insert("items".to_string(), JsonValue::Object(items));
                        f.insert(
                            "description".to_string(),
                            JsonValue::String(
                                "Positional bind values for `$1`, `$2`, ... in `sql`. Index 0 binds `$1`."
                                    .to_string(),
                            ),
                        );
                        JsonValue::Object(f)
                    }),
                ],
                vec!["sql"],
            ),
        },
        ToolDef {
            name: "reddb_collections",
            command_id: "collections.list",
            description: "List all collections in the database.",
            input_schema: schema(vec![], vec![]),
        },
        ToolDef {
            name: "reddb_insert_row",
            command_id: "collections.rows.create",
            description: "Insert a table row into a collection.",
            input_schema: schema_with_nested(
                vec![
                    ("collection", string_field("Target collection name")),
                    ("data", object_field("Object with field name/value pairs to insert")),
                    ("metadata", object_field("Optional metadata key/value pairs")),
                ],
                vec!["collection", "data"],
            ),
        },
        ToolDef {
            name: "reddb_insert_node",
            command_id: "collections.nodes.create",
            description: "Insert a graph node into a collection.",
            input_schema: schema_with_nested(
                vec![
                    ("collection", string_field("Target collection name")),
                    ("label", string_field("Node label (identifier)")),
                    ("node_type", string_field("Optional node type classification")),
                    ("properties", object_field("Optional node properties as key/value pairs")),
                    ("metadata", object_field("Optional metadata key/value pairs")),
                ],
                vec!["collection", "label"],
            ),
        },
        ToolDef {
            name: "reddb_insert_edge",
            command_id: "collections.edges.create",
            description: "Insert a graph edge between two nodes.",
            input_schema: schema_with_nested(
                vec![
                    ("collection", string_field("Target collection name")),
                    ("label", string_field("Edge label (relationship type)")),
                    ("from", integer_field("Source node entity ID")),
                    ("to", integer_field("Target node entity ID")),
                    ("weight", number_field("Optional edge weight (default 1.0)")),
                    ("properties", object_field("Optional edge properties")),
                    ("metadata", object_field("Optional metadata key/value pairs")),
                ],
                vec!["collection", "label", "from", "to"],
            ),
        },
        ToolDef {
            name: "reddb_insert_vector",
            command_id: "collections.vectors.create",
            description: "Insert a vector embedding into a collection.",
            input_schema: schema_with_nested(
                vec![
                    ("collection", string_field("Target collection name")),
                    ("dense", number_array_field("Dense vector (array of floats)")),
                    ("content", string_field("Optional text content associated with the vector")),
                    ("metadata", object_field("Optional metadata key/value pairs")),
                ],
                vec!["collection", "dense"],
            ),
        },
        ToolDef {
            name: "reddb_insert_document",
            command_id: "collections.documents.create",
            description: "Insert a JSON document into a collection.",
            input_schema: schema_with_nested(
                vec![
                    ("collection", string_field("Target collection name")),
                    ("body", object_field("JSON document body")),
                    ("metadata", object_field("Optional metadata key/value pairs")),
                ],
                vec!["collection", "body"],
            ),
        },
        ToolDef {
            name: "reddb_kv_get",
            command_id: "keyed.v1.kv",
            description: "Get a value by key from a key-value collection.",
            input_schema: schema(
                vec![
                    ("collection", "string", "Collection name"),
                    ("key", "string", "Key to retrieve"),
                ],
                vec!["collection", "key"],
            ),
        },
        ToolDef {
            name: "reddb_kv_set",
            command_id: "keyed.v1.kv",
            description: "Set a key-value pair in a collection.",
            input_schema: schema_with_nested(
                vec![
                    ("collection", string_field("Collection name")),
                    ("key", string_field("Key to set")),
                    ("value", {
                        let mut f = Map::new();
                        f.insert("description".to_string(), JsonValue::String("Value to store (string, number, boolean, or null)".to_string()));
                        JsonValue::Object(f)
                    }),
                    ("tags", string_array_field("Optional KV invalidation tags")),
                    ("metadata", object_field("Optional metadata key/value pairs")),
                ],
                vec!["collection", "key", "value"],
            ),
        },
        ToolDef {
            name: "reddb_kv_invalidate_tags",
            command_id: "keyed.v1.kv",
            description: "Delete every KV entry in a collection tagged with any listed tag.",
            input_schema: schema_with_nested(
                vec![
                    ("collection", string_field("Collection name")),
                    ("tags", string_array_field("Tags to invalidate")),
                ],
                vec!["collection", "tags"],
            ),
        },
        ToolDef {
            name: "reddb_config_get",
            command_id: "keyed.v1.config",
            description: "Get a Config value without resolving SecretRef targets.",
            input_schema: schema(
                vec![
                    ("collection", "string", "Config collection name"),
                    ("key", "string", "Config key to retrieve"),
                ],
                vec!["collection", "key"],
            ),
        },
        ToolDef {
            name: "reddb_config_put",
            command_id: "keyed.v1.config",
            description: "Set a Config value. TTL and counter operations are not supported for Config.",
            input_schema: schema_with_nested(
                vec![
                    ("collection", string_field("Config collection name")),
                    ("key", string_field("Config key to set")),
                    ("value", {
                        let mut f = Map::new();
                        f.insert("description".to_string(), JsonValue::String("Value to store, or an object when paired with secret_ref".to_string()));
                        JsonValue::Object(f)
                    }),
                    ("secret_ref", object_field("Optional { collection, key } Vault SecretRef")),
                    ("tags", string_array_field("Optional Config tags")),
                ],
                vec!["collection", "key"],
            ),
        },
        ToolDef {
            name: "reddb_config_resolve",
            command_id: "keyed.v1.config",
            description: "Explicitly resolve a Config SecretRef. Requires the corresponding Vault unseal permission.",
            input_schema: schema(
                vec![
                    ("collection", "string", "Config collection name"),
                    ("key", "string", "Config key to resolve"),
                ],
                vec!["collection", "key"],
            ),
        },
        ToolDef {
            name: "reddb_vault_get",
            command_id: "keyed.v1.vault",
            description: "Get Vault metadata for a secret. Does not return plaintext.",
            input_schema: schema(
                vec![
                    ("collection", "string", "Vault collection name"),
                    ("key", "string", "Vault key to retrieve metadata for"),
                ],
                vec!["collection", "key"],
            ),
        },
        ToolDef {
            name: "reddb_vault_put",
            command_id: "keyed.v1.vault",
            description: "Store a sealed Vault secret. TTL and counter operations are not supported for Vault.",
            input_schema: schema_with_nested(
                vec![
                    ("collection", string_field("Vault collection name")),
                    ("key", string_field("Vault key to set")),
                    ("value", {
                        let mut f = Map::new();
                        f.insert("description".to_string(), JsonValue::String("Secret value to seal".to_string()));
                        JsonValue::Object(f)
                    }),
                    ("tags", string_array_field("Optional Vault tags")),
                ],
                vec!["collection", "key", "value"],
            ),
        },
        ToolDef {
            name: "reddb_vault_reveal",
            command_id: "keyed.v1.vault",
            description: "Explicitly reveal a Vault secret to a caller with vault:reveal permission.",
            input_schema: schema(
                vec![("collection", "string", "Vault collection name"), ("key", "string", "Vault key to reveal")],
                vec!["collection", "key"],
            ),
        },
        ToolDef {
            name: "reddb_vault_unseal",
            command_id: "keyed.v1.vault",
            description: "Explicitly unseal a Vault secret and return plaintext to an authorized caller.",
            input_schema: schema(
                vec![
                    ("collection", "string", "Vault collection name"),
                    ("key", "string", "Vault key to unseal"),
                ],
                vec!["collection", "key"],
            ),
        },
        ToolDef {
            name: "reddb_delete",
            command_id: "collections.entities.delete",
            description: "Delete an entity by ID from a collection.",
            input_schema: schema(
                vec![
                    ("collection", "string", "Collection name"),
                    ("id", "integer", "Entity ID to delete"),
                ],
                vec!["collection", "id"],
            ),
        },
        ToolDef {
            name: "reddb_search_vector",
            command_id: "collections.similar",
            description: "Search for similar vectors using cosine similarity.",
            input_schema: schema_with_nested(
                vec![
                    ("collection", string_field("Collection to search in")),
                    ("vector", number_array_field("Query vector (array of floats)")),
                    ("k", integer_field("Number of results to return (default 10)")),
                    ("min_score", number_field("Minimum similarity score threshold (default 0.0)")),
                ],
                vec!["collection", "vector"],
            ),
        },
        ToolDef {
            name: "reddb_search_text",
            command_id: "query.text_search",
            description: "Full-text search across collections.",
            input_schema: schema_with_nested(
                vec![
                    ("query", string_field("Search query string")),
                    ("collections", {
                        let mut items = Map::new();
                        items.insert("type".to_string(), JsonValue::String("string".to_string()));
                        let mut f = Map::new();
                        f.insert("type".to_string(), JsonValue::String("array".to_string()));
                        f.insert("items".to_string(), JsonValue::Object(items));
                        f.insert("description".to_string(), JsonValue::String("Optional list of collections to search".to_string()));
                        JsonValue::Object(f)
                    }),
                    ("limit", integer_field("Maximum number of results (default 10)")),
                    ("fuzzy", boolean_field("Enable fuzzy matching (default false)")),
                ],
                vec!["query"],
            ),
        },
        ToolDef {
            name: "reddb_health",
            command_id: "health.live",
            description: "Check database health and return runtime statistics.",
            input_schema: schema(vec![], vec![]),
        },
        ToolDef {
            name: "reddb_graph_traverse",
            command_id: "graph.traverse",
            description: "Traverse the graph from a source node using BFS or DFS.",
            input_schema: schema_with_nested(
                vec![
                    ("source", string_field("Source node label to start traversal from")),
                    ("direction", string_field("Traversal direction: 'outgoing', 'incoming', or 'both' (default 'outgoing')")),
                    ("max_depth", integer_field("Maximum traversal depth (default 3)")),
                    ("strategy", string_field("Traversal strategy: 'bfs' or 'dfs' (default 'bfs')")),
                ],
                vec!["source"],
            ),
        },
        ToolDef {
            name: "reddb_graph_shortest_path",
            command_id: "graph.shortest_path",
            description: "Find the shortest path between two graph nodes.",
            input_schema: schema_with_nested(
                vec![
                    ("source", string_field("Source node label")),
                    ("target", string_field("Target node label")),
                    ("direction", string_field("Edge direction: 'outgoing', 'incoming', or 'both' (default 'outgoing')")),
                    (
                        "algorithm",
                        string_field(
                            "Path algorithm: 'bfs', 'dijkstra', 'astar', or 'bellman_ford' (default 'bfs')",
                        ),
                    ),
                ],
                vec!["source", "target"],
            ),
        },
        // Auth tools
        ToolDef {
            name: "reddb_auth_bootstrap",
            command_id: "auth.bootstrap",
            description: "Bootstrap the first admin user. Only works when no users exist yet. Returns the admin user and an API key.",
            input_schema: schema(
                vec![
                    ("username", "string", "Admin username"),
                    ("password", "string", "Admin password"),
                ],
                vec!["username", "password"],
            ),
        },
        ToolDef {
            name: "reddb_auth_create_user",
            command_id: "auth.users.create",
            description: "Create a new database user with a role (admin, write, or read).",
            input_schema: schema(
                vec![
                    ("username", "string", "Username for the new user"),
                    ("password", "string", "Password for the new user"),
                    ("role", "string", "Role: 'admin', 'write', or 'read'"),
                ],
                vec!["username", "password", "role"],
            ),
        },
        ToolDef {
            name: "reddb_auth_login",
            command_id: "auth.login",
            description: "Login with username and password. Returns a session token.",
            input_schema: schema(
                vec![
                    ("username", "string", "Username"),
                    ("password", "string", "Password"),
                ],
                vec!["username", "password"],
            ),
        },
        ToolDef {
            name: "reddb_auth_create_api_key",
            command_id: "auth.api_keys.create",
            description: "Create a persistent API key for a user.",
            input_schema: schema(
                vec![
                    ("username", "string", "Username to create the key for"),
                    ("name", "string", "Human-readable label for the key"),
                    ("role", "string", "Role for this key: 'admin', 'write', or 'read'"),
                ],
                vec!["username", "name", "role"],
            ),
        },
        ToolDef {
            name: "reddb_auth_list_users",
            command_id: "auth.users.list",
            description: "List all database users and their roles.",
            input_schema: schema(vec![], vec![]),
        },
        // Update / Scan tools
        ToolDef {
            name: "reddb_update",
            command_id: "collections.entities.patch",
            description: "Update entities in a collection matching a filter.",
            input_schema: schema_with_nested(
                vec![
                    ("collection", string_field("Collection name")),
                    ("set", object_field("Key-value pairs to update")),
                    (
                        "where_filter",
                        string_field(
                            "Optional SQL WHERE clause (e.g., \"age > 21\")",
                        ),
                    ),
                ],
                vec!["collection", "set"],
            ),
        },
        ToolDef {
            name: "reddb_scan",
            command_id: "collections.scan",
            description: "Scan entities from a collection with pagination.",
            input_schema: schema_with_nested(
                vec![
                    ("collection", string_field("Collection to scan")),
                    ("limit", integer_field("Maximum number of results (default 10)")),
                    ("offset", integer_field("Number of records to skip (default 0)")),
                ],
                vec!["collection"],
            ),
        },
        // Graph analytics tools
        ToolDef {
            name: "reddb_graph_centrality",
            command_id: "graph.analytics.centrality",
            description: "Compute centrality scores for graph nodes. Algorithms: degree, closeness, betweenness, eigenvector, pagerank.",
            input_schema: schema_with_nested(
                vec![(
                    "algorithm",
                    string_field(
                        "Centrality algorithm: 'degree', 'closeness', 'betweenness', 'eigenvector', 'pagerank'",
                    ),
                )],
                vec!["algorithm"],
            ),
        },
        ToolDef {
            name: "reddb_graph_community",
            command_id: "graph.analytics.community",
            description: "Detect communities in the graph. Algorithms: label_propagation, louvain.",
            input_schema: schema_with_nested(
                vec![
                    (
                        "algorithm",
                        string_field(
                            "Community detection algorithm: 'label_propagation' or 'louvain'",
                        ),
                    ),
                    (
                        "max_iterations",
                        integer_field("Maximum iterations (default 100)"),
                    ),
                ],
                vec!["algorithm"],
            ),
        },
        ToolDef {
            name: "reddb_graph_components",
            command_id: "graph.analytics.components",
            description: "Find connected components in the graph.",
            input_schema: schema_with_nested(
                vec![(
                    "mode",
                    string_field(
                        "Component mode: 'weakly_connected' or 'strongly_connected' (default 'weakly_connected')",
                    ),
                )],
                vec![],
            ),
        },
        ToolDef {
            name: "reddb_graph_cycles",
            command_id: "graph.analytics.cycles",
            description: "Detect cycles in the graph.",
            input_schema: schema_with_nested(
                vec![
                    (
                        "max_length",
                        integer_field("Maximum cycle length (default 10)"),
                    ),
                    (
                        "max_cycles",
                        integer_field("Maximum number of cycles to return (default 100)"),
                    ),
                ],
                vec![],
            ),
        },
        ToolDef {
            name: "reddb_graph_clustering",
            command_id: "graph.analytics.clustering",
            description: "Compute clustering coefficient for the graph.",
            input_schema: schema(vec![], vec![]),
        },
        // DDL tools
        ToolDef {
            name: "reddb_create_collection",
            command_id: "collections.create",
            description: "Create a new collection (table) in the database.",
            input_schema: schema(
                vec![("name", "string", "Collection name to create")],
                vec!["name"],
            ),
        },
        ToolDef {
            name: "reddb_drop_collection",
            command_id: "collections.drop",
            description: "Drop (delete) a collection from the database.",
            input_schema: schema(
                vec![("name", "string", "Collection name to drop")],
                vec!["name"],
            ),
        },
        // RQL knowledge tools (ADR 0061): parse a submitted query through the
        // real `reddb-io-rql` parser so an agent learns the dialect by
        // submitting, not by guessing.
        ToolDef {
            name: "reddb_rql_validate",
            command_id: "query.contract",
            description: "Validate an RQL (RedDB Query Language) string by parsing it with the real reddb-io-rql parser. Returns `{ valid: true, statement }` with the statement kind on success, or `{ valid: false, error }` with a structured diagnostic (message, line, column, offset, kind, expected) on failure. Submit a query to learn the dialect instead of guessing.",
            input_schema: schema(
                vec![("rql", "string", "RQL query string to validate")],
                vec!["rql"],
            ),
        },
        ToolDef {
            name: "reddb_rql_explain",
            command_id: "query.explain",
            description: "Explain an RQL (RedDB Query Language) string: parse it with the real reddb-io-rql parser and, when valid, also return its AST and the optimizer plan (`ast`, `optimized_ast`, `applied_passes`). Invalid input returns the same structured diagnostic as reddb_rql_validate with no AST/plan.",
            input_schema: schema(
                vec![("rql", "string", "RQL query string to parse and explain")],
                vec!["rql"],
            ),
        },
        // Type knowledge tool (ADR 0061): answer a type/cast lookup from the
        // generated reddb-io-types catalog.
        ToolDef {
            name: "reddb_type_of",
            command_id: "catalog.snapshot",
            description: "Look up a RedDB value type from the generated `reddb-io-types` catalog. Given either a type name (`type`, e.g. \"INTEGER\" or the SQL alias \"int\") or a literal JSON value (`value`, e.g. 42 or true), returns the canonical type, its coercion category, the casts available out of it, and the operator overloads that accept it. Provide exactly one of `type` or `value`; `type` wins if both are given.\n\nThe answer is read live from the engine's function/operator/cast catalogs — it never drifts from the type system.",
            input_schema: schema_with_nested(
                vec![
                    ("type", string_field("Type name to look up: a canonical RedDB type (e.g. \"INTEGER\", \"TEXT\") or a common SQL alias (e.g. \"int\", \"string\"), case-insensitive.")),
                    ("value", {
                        let mut f = Map::new();
                        f.insert("description".to_string(), JsonValue::String("A literal JSON value (null, boolean, number, string, array, or object) whose canonical type to look up. Used only when `type` is omitted.".to_string()));
                        f.insert(
                            "anyOf".to_string(),
                            JsonValue::Array(vec![
                                type_field("null"),
                                type_field("boolean"),
                                type_field("number"),
                                type_field("string"),
                                type_field("array"),
                                type_field("object"),
                            ]),
                        );
                        JsonValue::Object(f)
                    }),
                ],
                vec![],
            ),
        },
        // Connection knowledge tool (ADR 0061): project the canonical
        // reddb-wire connection-string parser into agent-readable transport
        // and topology facts.
        ToolDef {
            name: "reddb_explain_connection",
            command_id: "ops.capabilities",
            description: "Decode a RedDB connection URI with the canonical `reddb-io-wire` parser and return its scheme, transport, mode (`embedded` or `remote`), topology, and normalized target details. Use this to learn the scheme dispatch: `memory://` is embedded ephemeral, `file://` is embedded persisted, `red://` / `reds://` are remote RedWire, and `grpc://` / `http(s)://` are remote non-RedWire transports.",
            input_schema: schema(
                vec![(
                    "uri",
                    "string",
                    "Connection URI to explain, e.g. memory://, file:///data.rdb, reds://host, grpc://host, or https://host",
                )],
                vec!["uri"],
            ),
        },
    ]
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn embedded_identity_authorizes_the_full_tool_catalog() {
        for tool in all_tools() {
            authorize_tool(&tool.name, McpIdentityPosture::EmbeddedImplicitAdmin)
                .unwrap_or_else(|err| panic!("embedded tool {} was denied: {err}", tool.name));
        }
        authorize_tool(
            crate::runtime::ai::mcp_ask_tool::TOOL_NAME,
            McpIdentityPosture::EmbeddedImplicitAdmin,
        )
        .expect("embedded reddb.ask is authorized");
    }

    #[test]
    fn tool_descriptors_document_catalog_authorization_posture() {
        for tool in all_tools() {
            let description = tool.descriptor_description();
            assert!(
                description.contains("Embedded/local mode runs as implicit admin"),
                "embedded posture missing from {}: {}",
                tool.name,
                description
            );
            assert!(
                description.contains("Remote mode requires credentials"),
                "remote posture missing from {}: {}",
                tool.name,
                description
            );
            assert!(
                description.contains(tool.command_id),
                "canonical command id {} missing from {} descriptor",
                tool.command_id,
                tool.name
            );
        }

        let ask = ask_descriptor();
        let ask_description = ask
            .get("description")
            .and_then(JsonValue::as_str)
            .expect("reddb.ask description");
        assert!(ask_description.contains("Embedded/local mode runs as implicit admin"));
        assert!(ask_description.contains("Remote mode requires credentials"));
        assert!(ask_description.contains("ai.ask"));
    }

    #[test]
    fn test_all_tools_defined() {
        let tools = all_tools();
        assert!(tools.len() >= 24);
        let names: Vec<&str> = tools.iter().map(|t| t.name).collect();
        assert!(names.contains(&"reddb_query"));
        assert!(names.contains(&"reddb_collections"));
        assert!(names.contains(&"reddb_insert_row"));
        assert!(names.contains(&"reddb_insert_node"));
        assert!(names.contains(&"reddb_insert_edge"));
        assert!(names.contains(&"reddb_insert_vector"));
        assert!(names.contains(&"reddb_insert_document"));
        assert!(names.contains(&"reddb_kv_get"));
        assert!(names.contains(&"reddb_kv_set"));
        assert!(names.contains(&"reddb_config_get"));
        assert!(names.contains(&"reddb_config_put"));
        assert!(names.contains(&"reddb_config_resolve"));
        assert!(names.contains(&"reddb_vault_get"));
        assert!(names.contains(&"reddb_vault_put"));
        assert!(names.contains(&"reddb_vault_reveal"));
        assert!(names.contains(&"reddb_vault_unseal"));
        assert!(names.contains(&"reddb_delete"));
        assert!(names.contains(&"reddb_search_vector"));
        assert!(names.contains(&"reddb_search_text"));
        assert!(names.contains(&"reddb_health"));
        assert!(names.contains(&"reddb_graph_traverse"));
        assert!(names.contains(&"reddb_graph_shortest_path"));
        // New tools
        assert!(names.contains(&"reddb_update"));
        assert!(names.contains(&"reddb_scan"));
        assert!(names.contains(&"reddb_graph_centrality"));
        assert!(names.contains(&"reddb_graph_community"));
        assert!(names.contains(&"reddb_graph_components"));
        assert!(names.contains(&"reddb_graph_cycles"));
        assert!(names.contains(&"reddb_graph_clustering"));
        assert!(names.contains(&"reddb_create_collection"));
        assert!(names.contains(&"reddb_drop_collection"));
        // RQL knowledge tools (ADR 0061).
        assert!(names.contains(&"reddb_rql_validate"));
        assert!(names.contains(&"reddb_rql_explain"));
        // Type knowledge tool (ADR 0061).
        assert!(names.contains(&"reddb_type_of"));
        // Connection knowledge tool (ADR 0061).
        assert!(names.contains(&"reddb_explain_connection"));
    }

    #[test]
    fn test_rql_validate_tool_schema() {
        let tools = all_tools();
        let tool = tools
            .iter()
            .find(|t| t.name == "reddb_rql_validate")
            .expect("reddb_rql_validate registered");
        let props = tool
            .input_schema
            .get("properties")
            .and_then(|v| v.as_object())
            .unwrap();
        assert!(props.contains_key("rql"));
        let required = tool
            .input_schema
            .get("required")
            .and_then(|v| v.as_array())
            .unwrap();
        let required_strs: Vec<&str> = required.iter().filter_map(|v| v.as_str()).collect();
        assert!(required_strs.contains(&"rql"));
    }

    #[test]
    fn test_rql_explain_tool_schema() {
        let tools = all_tools();
        let tool = tools
            .iter()
            .find(|t| t.name == "reddb_rql_explain")
            .expect("reddb_rql_explain registered");
        let props = tool
            .input_schema
            .get("properties")
            .and_then(|v| v.as_object())
            .unwrap();
        assert!(props.contains_key("rql"));
        let required = tool
            .input_schema
            .get("required")
            .and_then(|v| v.as_array())
            .unwrap();
        let required_strs: Vec<&str> = required.iter().filter_map(|v| v.as_str()).collect();
        assert!(required_strs.contains(&"rql"));
    }

    #[test]
    fn test_tool_schemas_have_type() {
        for tool in all_tools() {
            assert_eq!(
                tool.input_schema.get("type").and_then(|v| v.as_str()),
                Some("object"),
                "tool '{}' schema must have type=object",
                tool.name,
            );
        }
    }

    #[test]
    fn test_query_tool_schema_exposes_optional_params_array() {
        let tools = all_tools();
        let tool = tools.iter().find(|t| t.name == "reddb_query").unwrap();
        let props = tool
            .input_schema
            .get("properties")
            .and_then(|v| v.as_object())
            .unwrap();
        let params = props.get("params").and_then(|v| v.as_object()).unwrap();
        assert_eq!(params.get("type").and_then(|v| v.as_str()), Some("array"));

        let required = tool
            .input_schema
            .get("required")
            .and_then(|v| v.as_array())
            .unwrap();
        let required_strs: Vec<&str> = required.iter().filter_map(|v| v.as_str()).collect();
        assert!(required_strs.contains(&"sql"));
        assert!(!required_strs.contains(&"params"));
    }

    #[test]
    fn test_update_tool_schema() {
        let tools = all_tools();
        let tool = tools.iter().find(|t| t.name == "reddb_update").unwrap();
        assert_eq!(tool.name, "reddb_update");
        let props = tool
            .input_schema
            .get("properties")
            .and_then(|v| v.as_object())
            .unwrap();
        assert!(props.contains_key("collection"));
        assert!(props.contains_key("set"));
        assert!(props.contains_key("where_filter"));
        let required = tool
            .input_schema
            .get("required")
            .and_then(|v| v.as_array())
            .unwrap();
        let required_strs: Vec<&str> = required.iter().filter_map(|v| v.as_str()).collect();
        assert!(required_strs.contains(&"collection"));
        assert!(required_strs.contains(&"set"));
        assert!(!required_strs.contains(&"where_filter"));
    }

    #[test]
    fn test_scan_tool_schema() {
        let tools = all_tools();
        let tool = tools.iter().find(|t| t.name == "reddb_scan").unwrap();
        let props = tool
            .input_schema
            .get("properties")
            .and_then(|v| v.as_object())
            .unwrap();
        assert!(props.contains_key("collection"));
        assert!(props.contains_key("limit"));
        assert!(props.contains_key("offset"));
        let required = tool
            .input_schema
            .get("required")
            .and_then(|v| v.as_array())
            .unwrap();
        let required_strs: Vec<&str> = required.iter().filter_map(|v| v.as_str()).collect();
        assert!(required_strs.contains(&"collection"));
        // limit and offset are optional
        assert!(!required_strs.contains(&"limit"));
        assert!(!required_strs.contains(&"offset"));
    }

    #[test]
    fn test_graph_centrality_tool_schema() {
        let tools = all_tools();
        let tool = tools
            .iter()
            .find(|t| t.name == "reddb_graph_centrality")
            .unwrap();
        let props = tool
            .input_schema
            .get("properties")
            .and_then(|v| v.as_object())
            .unwrap();
        assert!(props.contains_key("algorithm"));
        let required = tool
            .input_schema
            .get("required")
            .and_then(|v| v.as_array())
            .unwrap();
        let required_strs: Vec<&str> = required.iter().filter_map(|v| v.as_str()).collect();
        assert!(required_strs.contains(&"algorithm"));
    }

    #[test]
    fn test_graph_community_tool_schema() {
        let tools = all_tools();
        let tool = tools
            .iter()
            .find(|t| t.name == "reddb_graph_community")
            .unwrap();
        let props = tool
            .input_schema
            .get("properties")
            .and_then(|v| v.as_object())
            .unwrap();
        assert!(props.contains_key("algorithm"));
        assert!(props.contains_key("max_iterations"));
        let required = tool
            .input_schema
            .get("required")
            .and_then(|v| v.as_array())
            .unwrap();
        let required_strs: Vec<&str> = required.iter().filter_map(|v| v.as_str()).collect();
        assert!(required_strs.contains(&"algorithm"));
        assert!(!required_strs.contains(&"max_iterations"));
    }

    #[test]
    fn test_graph_components_tool_schema() {
        let tools = all_tools();
        let tool = tools
            .iter()
            .find(|t| t.name == "reddb_graph_components")
            .unwrap();
        let props = tool
            .input_schema
            .get("properties")
            .and_then(|v| v.as_object())
            .unwrap();
        assert!(props.contains_key("mode"));
        let required = tool
            .input_schema
            .get("required")
            .and_then(|v| v.as_array())
            .unwrap();
        // mode is optional (has default)
        let required_strs: Vec<&str> = required.iter().filter_map(|v| v.as_str()).collect();
        assert!(required_strs.is_empty());
    }

    #[test]
    fn test_graph_cycles_tool_schema() {
        let tools = all_tools();
        let tool = tools
            .iter()
            .find(|t| t.name == "reddb_graph_cycles")
            .unwrap();
        let props = tool
            .input_schema
            .get("properties")
            .and_then(|v| v.as_object())
            .unwrap();
        assert!(props.contains_key("max_length"));
        assert!(props.contains_key("max_cycles"));
        let required = tool
            .input_schema
            .get("required")
            .and_then(|v| v.as_array())
            .unwrap();
        // All optional
        let required_strs: Vec<&str> = required.iter().filter_map(|v| v.as_str()).collect();
        assert!(required_strs.is_empty());
    }

    #[test]
    fn test_graph_clustering_tool_schema() {
        let tools = all_tools();
        let tool = tools
            .iter()
            .find(|t| t.name == "reddb_graph_clustering")
            .unwrap();
        let props = tool
            .input_schema
            .get("properties")
            .and_then(|v| v.as_object())
            .unwrap();
        // No required properties - takes no arguments
        assert!(props.is_empty());
    }

    #[test]
    fn test_create_collection_tool_schema() {
        let tools = all_tools();
        let tool = tools
            .iter()
            .find(|t| t.name == "reddb_create_collection")
            .unwrap();
        let props = tool
            .input_schema
            .get("properties")
            .and_then(|v| v.as_object())
            .unwrap();
        assert!(props.contains_key("name"));
        let name_type = props
            .get("name")
            .and_then(|v| v.get("type"))
            .and_then(|v| v.as_str());
        assert_eq!(name_type, Some("string"));
        let required = tool
            .input_schema
            .get("required")
            .and_then(|v| v.as_array())
            .unwrap();
        let required_strs: Vec<&str> = required.iter().filter_map(|v| v.as_str()).collect();
        assert!(required_strs.contains(&"name"));
    }

    #[test]
    fn test_drop_collection_tool_schema() {
        let tools = all_tools();
        let tool = tools
            .iter()
            .find(|t| t.name == "reddb_drop_collection")
            .unwrap();
        let props = tool
            .input_schema
            .get("properties")
            .and_then(|v| v.as_object())
            .unwrap();
        assert!(props.contains_key("name"));
        let required = tool
            .input_schema
            .get("required")
            .and_then(|v| v.as_array())
            .unwrap();
        let required_strs: Vec<&str> = required.iter().filter_map(|v| v.as_str()).collect();
        assert!(required_strs.contains(&"name"));
    }

    #[test]
    fn test_type_of_tool_schema() {
        let tools = all_tools();
        let tool = tools.iter().find(|t| t.name == "reddb_type_of").unwrap();
        let props = tool
            .input_schema
            .get("properties")
            .and_then(|v| v.as_object())
            .unwrap();
        // Accepts either a type name or a literal value; neither is required so
        // the handler can validate "exactly one of" and surface a clear error.
        assert!(props.contains_key("type"));
        assert!(props.contains_key("value"));
        let required = tool
            .input_schema
            .get("required")
            .and_then(|v| v.as_array())
            .unwrap();
        assert!(required.is_empty());
    }
}