mcp-websearch

🔍 Web Search MCP Integration for CursorRIPER Σ

Symbol: Λ (Lambda)

Version: 1.0.0

📋 Service Definition

service = "Web Search Operations"
symbol = "Λ"
requires = "@modelcontextprotocol/server-brave-search"

🔧 Operation Mapping

Λ_ops = {
  search: {
    web: "@modelcontextprotocol-server-brave-search:brave_web_search",
    local: "@modelcontextprotocol-server-brave-search:brave_local_search"
  },
  fetch: {
    url: "mcp-server-fetch:fetch",
    content: "extract via fetch with raw=false"
  },
  cache: {
    save: "store in Γ_search_cache",
    retrieve: "get from Γ_search_cache",
    clear: "reset Γ_search_cache"
  }
}

🔒 Mode Restrictions

MΛ = {
  Ω₁: [search_*, fetch_*],          # RESEARCH: full access
  Ω₂: [search_*, fetch_*],          # INNOVATE: full access
  Ω₃: [search_*, fetch_*, cache_*], # PLAN: search + cache
  Ω₄: [],                          # EXECUTE: NO SEARCH (maintain focus!)
  Ω₅: [search_web, fetch_url]      # REVIEW: verification only
}

🔑 Permission Matrix

ℙΛ = {
  create: [Ω₃],              # Only PLAN can cache
  read: [Ω₁, Ω₂, Ω₃, Ω₅],   # No reading in EXECUTE
  update: [],                # No updates
  delete: [Ω₃]              # Only PLAN can clear cache
}

📍 Context Tracking

Γ₁₀ = search_results[] = {
  query: string,
  results: [{title, url, snippet}],
  timestamp: ISO8601,
  mode: current_Ω
}

Γ₁₁ = search_history[] = {
  queries: [string],
  counts: {per_mode: {Ω₁: n, Ω₂: n, ...}},
  last_search: timestamp
}

Γ_search_cache = Map<query, results>

⚡ Command Shortcuts

SΛ = {
  !ws: "brave_web_search",
  !wl: "brave_local_search", 
  !wf: "fetch_url",
  !wc: "clear search cache",
  !wh: "show search history"
}

🛡️ Protection Levels

ΨΛ = {
  fetch_url: Ψ₃,     # INFO - external content
  clear_cache: Ψ₄    # DEBUG - cache management
}

🔄 Mode-Specific Behaviors

apply_search_op(op, mode) = {
  check: mode === Ω₄ ? deny("No search in EXECUTE mode!") : continue,
  validate: op ∈ MΛ[mode] ? proceed : deny("Operation not allowed in " + mode),
  track: {
    add_to_history(Γ₁₁, op),
    store_results(Γ₁₀, results) 
  },
  execute: Λ_ops[category][operation]()
}