Skip to main content
Glama
77,284 servers. Updated

"author:angrysky56" matching MCP servers:

  • LocalREPL MCP Server

    angrysky56
    A
    license
    A
    quality
    C
    maintenance
    A locally-running Python REPL server that integrates with Claude Desktop through the Model Context Protocol, offering shell bridge, streaming, and operational memory features for secure code experimentation and system automation.
    23
    4
    MIT

  • MCTS MCP Server

    angrysky56
    A
    license
    B
    quality
    D
    maintenance
    A Model Context Protocol (MCP) server that enables Claude to use Monte Carlo Tree Search algorithms for deep, explorative analysis of topics, questions, or text inputs.
    6
    5
    MIT

  • NeoCoder Neo4j AI Workflow

    angrysky56
    A
    license
    C
    quality
    D
    maintenance
    Enables AI assistants to use Neo4j knowledge graphs and Qdrant vector databases for hybrid reasoning, combining structured facts with semantic search for advanced knowledge management, research analysis, and standardized coding workflows.
    30
    20
    MIT

  • MCP-Logic

    angrysky56
    A
    license
    Not graded
    quality
    B
    maintenance
    MCP-Logic is a server that provides AI systems with automated reasoning capabilities, enabling logical theorem proving and model verification using Prover9/Mace4 through a clean MCP interface.
    46
    MIT

  • Coinbase Trade Assistant MCP

    angrysky56
    A
    license
    Not graded
    quality
    D
    maintenance
    Provides intelligent cryptocurrency trading assistance using Coinbase Advanced Trade API, with automated technical analysis screening and real-time market insights.
    2
    MIT

  • AST MCP Server

    angrysky56
    A
    license
    Not graded
    quality
    D
    maintenance
    Provides advanced code structure and semantic analysis through Abstract Syntax Trees (AST) and Abstract Semantic Graphs (ASG) across multiple programming languages. It enables tasks like incremental parsing, complexity analysis, and AST diffing to help models understand and navigate codebases.
    36
    MIT

  • Memvid MCP Server

    angrysky56
    A
    license
    Not graded
    quality
    D
    maintenance
    A Model Context Protocol server that encodes text, PDFs, and other content into video memory format, enabling efficient semantic search and chat interactions with the encoded knowledge base.
    13
    MIT

  • MCP-RoCQ

    angrysky56
    A
    license
    Not graded
    quality
    D
    maintenance
    MCP-RoCQ integrates with the Coq proof assistant to enable automated dependent type checking, inductive type definitions, and property proving through XML protocol communication.
    10
    MIT

  • OpenEnded Philosophy MCP

    angrysky56
    F
    license
    Not graded
    quality
    D
    maintenance
    Enables philosophical reasoning and concept analysis through NARS non-axiomatic logic integration, supporting multi-perspective synthesis, epistemic uncertainty tracking, and contextual semantic exploration with built-in truth maintenance.
    8