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

  • 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