Skip to main content
Glama
88,062 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Thinking process for developing or using Cursor AI" matching MCP servers:

GET /v1/servers – MCP directory API reference
  • A
    license
    Not graded
    quality
    D
    maintenance
    Enables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.
    1
    MIT
  • A
    license
    Not graded
    quality
    C
    maintenance
    Remote MCP server for dynamic and reflective problem-solving through structured thinking. Enables step-by-step reasoning with branching, revision tracking, and session management.
    53 npm
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    Facilitates structured creative thinking through sequential thought processing, helping users shift from reactive problem-solving to proactive outcome creation using structural tension analysis and stage-based thinking workflows.
    1
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    Facilitates structured, progressive thinking through defined cognitive stages (Problem Definition, Research, Analysis, Synthesis, Conclusion), enabling users to break down complex problems, track thought progression, and generate summaries of their thinking process.
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Enables AI assistants and other MCP clients to launch and steer Cursor Cloud Agents on repositories or as repo-less research tasks, including model selection, mid-run follow-ups, cancellation, result retrieval, and run listing. Also exposes authentication checks and per-agent or per-run token usage and cost reporting.
    9
    MIT
  • F
    license
    C
    quality
    D
    maintenance
    Enables cost-effective repository analysis, code search, file editing, and task planning by wrapping the cursor-agent CLI through focused tools. Reduces token usage by offloading heavy thinking tasks from Claude to specialized operations with configurable output formats.
    7
    21
    -
  • A
    license
    Not graded
    quality
    D
    maintenance
    Acts as a bridge between Claude's desktop application and the Cursor editor, enabling seamless AI-powered automation and multi-instance management across platforms with standardized communication and secure token-based authentication.
    7 npm
    68
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    A safety-gated Python MCP server for Metabase that lets MCP clients and agents inspect Metabase, run governed queries, and create or maintain dashboards, cards/questions, collections, snippets, permissions, and other Metabase assets through the Metabase REST API.
    GPL 3.0
  • F
    license
    Not graded
    quality
    C
    maintenance
    An MCP server that enables AI agents to create, read, edit, and manage Jupyter Notebook files programmatically, overcoming limitations in Cursor's native notebook support.
    223 PyPI
    161
    -