Skip to main content
Glama
77,286 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

  • ASEKE Compass Engine MCP

    angrysky56
    F
    license
    A
    quality
    C
    maintenance
    Provides structured behavioral analysis grounded in Panksepp's affective neuroscience and pattern matching to understand human intent and behavior through primary emotional systems and transition dynamics.
    6

  • 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

  • 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