{ "name": "grepai_stats", "description": "Show token savings summary achieved by using grepai instead of grep-based workflows. Returns aggregated metrics from local stats.", "inputSchema": { "$schema": "http://json-schema.org/draft-07/schema#", "properties": { "history": { "description": "Include per-day history breakdown (default: false)", "type": "boolean" }, "limit": { "description": "Max days in history (default: 30, only used when history=true)", "type": "number" } }, "required": [], "type": "object" } }