Skip to main content
Glama
77,286 servers. Updated

"author:angrysky56" matching MCP servers:

  • 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

  • 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

  • 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