Skip to main content
Glama
72,476 servers. Updated

"author:daedalus" matching MCP servers:

  • mcp-pyright

    daedalus
    A
    license
    A
    quality
    C
    maintenance
    An MCP server that exposes Pyright language server functionality for Python, providing tools for type checking, code completions, and finding definitions. It enables AI models to perform static analysis and code formatting through the Model Context Protocol.
    7
    MIT

  • mcp-z3-prover

    daedalus
    A
    license
    A
    quality
    C
    maintenance
    MCP server exposing Z3 solver API for creating variables, adding constraints, and solving SMT problems with optimization support.
    11
    1
    MIT

  • mcp-numpy

    daedalus
    A
    license
    B
    quality
    C
    maintenance
    An MCP server that exposes NumPy functionality as tools, enabling array creation, manipulation, mathematical operations, linear algebra, random sampling, statistics, and element-wise math through natural language.
    72
    MIT

  • mcp-sympy

    daedalus
    A
    license
    C
    quality
    C
    maintenance
    An MCP server that provides access to SymPy's symbolic mathematics library for advanced algebraic computations. It enables users to perform complex tasks such as symbolic simplification, calculus, equation solving, matrix operations, and number theory.
    100
    MIT

  • mcp-qiskit

    daedalus
    A
    license
    -
    quality
    C
    maintenance
    MCP server exposing Qiskit quantum computing functionality through the Model Context Protocol. Enables LLMs to create, manipulate, and execute quantum circuits via standardized MCP tools and resources.
    MIT