Skip to main content
Glama

MAN MCP tools

Production-ready MCP servers that extend AI capabilities through file access, database connections, APIs, and contextual services.

70,719 tools. Last updated 2026-02-08 06:09
  • Review all asserted statements in a logic reasoning session to track what has been established in the knowledge base.
  • Review all asserted facts in a logic reasoning session to understand current knowledge base contents and maintain reasoning context.
  • Retrieve Unix command documentation, including help pages and man pages, directly within Claude conversations to understand command usage without leaving the chat interface.
    MIT
  • Verify logical conclusions from given premises using resolution-based theorem proving in first-order logic.

Interested in MCP?

Join the MCP community for support and updates.

RedditDiscord

Matching MCP servers

  • A
    security
    F
    license
    A
    quality
    Provides comprehensive codebase analysis and semantic understanding through integrated knowledge graphs, enabling AI assistants to understand project structure, patterns, dependencies, and context through multiple analysis tools and format generators.
    Last updated 2 months ago
    9
  • A
    security
    A
    license
    A
    quality
    Provides Unix command documentation directly within Claude conversations, allowing users to retrieve help pages, man pages, and usage information without leaving the chat interface.
    Last updated a year ago
    3
    1
    MIT
    • Linux
    • Apple
  • -
    security
    A
    license
    -
    quality
    Enables natural language management of Hammerspace storage clusters with automated file ingestion, tagging, tier management, and vector embedding generation. Supports real-time file monitoring, multi-format document processing, and Kubernetes-based ingestion workflows with Milvus integration.
    Last updated 3 months ago
    MIT
    • Linux