Skip to main content
Glama
60,908 servers. Last updated

Matching MCP tools:

Matching MCP Connectors:

"Common Lisp" matching MCP servers:

  • Lean LSP MCP

    oOo0oOo
    A
    license
    A
    quality
    A
    maintenance
    Enables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.
    Last updated
    23
    449
    MIT

  • agent-lsp

    blackwell-systems
    A
    license
    A
    quality
    A
    maintenance
    MCP server that keeps language server sessions warm and routes multiple languages through one process. Agents get persistent cross-file awareness, speculative execution (simulate edits before writing to disk), and 20 skills that encode correct multi-step operations like safe rename, blast-radius analysis, and end-to-end refactoring. Single Go binary, no runtime dependencies.
    Last updated
    50
    90
    MIT

  • Manus MCP

    aruxojuyu665
    A
    license
    A
    quality
    B
    maintenance
    An MCP server that gives Claude Code full programmatic control over Manus.im through the official Manus API v2, implementing all documented endpoints and composite tools for common workflows.
    Last updated
    36
    5
    MIT

  • Todo List MCP Server

    glaucia86
    A
    license
    A
    quality
    F
    maintenance
    A TypeScript-based MCP server that enables users to manage tasks through natural conversation with Claude. Features complete CRUD operations, priority management, tagging, search functionality, and intelligent productivity insights with robust Zod validation.
    Last updated
    6
    46
    MIT

  • agentic-misp-mcp

    hdyrawan
    A
    license
    B
    quality
    A
    maintenance
    Gives AI agents analyst-oriented workflows for MISP threat intelligence, including IOC search, pivot, event summarization, report generation, and controlled write proposals with safety and audit logging.
    Last updated
    25
    MIT

  • VentureOS

    izmiradami
    F
    license
    -
    quality
    C
    maintenance
    Provides startup verification tools including domain/package/org availability checks, unit economics, runway, market size, and cap table calculations with transparent formulas and warnings to prevent common agent errors.
    Last updated