Skip to main content
Glama
Sign In

Search for:

Resources or information about free reasoning

View all MCP Servers

  • Why this server?

    This server focuses on systematic reasoning, which aligns with the 'reasoning' aspect of the search query. The specific methods mentioned (Beam Search, Monte Carlo Tree Search) suggest advanced problem-solving capabilities.

    MCP Reasoner

    parmarjh
    A
    security
    A
    license
    A
    quality
    A systematic reasoning MCP server for Claude Desktop, featuring Beam Search and Monte Carlo Tree Search to facilitate complex problem-solving and decision-making processes.
    1
    8
    TypeScript
    MIT License

  • Why this server?

    MCP-Logic provides AI systems with automated reasoning capabilities, specifically for logical theorem proving and model verification. This directly matches the 'reasoning' search term.

    MCP-Logic

    angrysky56
    Verified
    -
    security
    A
    license
    -
    quality
    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.
    20
    MIT License
    • Linux
    • Apple

  • Why this server?

    Similar to MCP Reasoner, this server focuses on systematic reasoning with beam search and thought evaluation, aligning with the 'reasoning' aspect of the search query.

    mcp-reasoner

    Jacck
    A
    security
    A
    license
    A
    quality
    A systematic reasoning MCP server implementation for Claude Desktop with beam search and thought evaluation capabilities
    1
    143
    TypeScript
    MIT License

  • Why this server?

    This server provides intelligent coding assistance through advanced reasoning. That is a close match.

    AI Development Assistant MCP Server

    kleneway
    -
    security
    A
    license
    -
    quality
    An AI-powered development toolkit for Cursor providing intelligent coding assistance through advanced reasoning, UI screenshot analysis, and code review tools.
    1,679
    240
    TypeScript
    MIT License

  • Why this server?

    Provides AI-powered mentorship for code review, design critique, writing feedback, and brainstorming using the Deepseek API, enabling enhanced output in various development and strategic planning tasks, which involves reasoning.

    Mentor MCP Server

    cyanheads
    Verified
    A
    security
    A
    license
    A
    quality
    Provides LLM Agents with AI-powered mentorship for code review, design critique, writing feedback, and brainstorming using the Deepseek API, enabling enhanced output in various development and strategic planning tasks.
    5
    15
    TypeScript
    Apache 2.0

  • Why this server?

    Facilitates comprehensive architectural design and evaluation through specialized agents, rich resources, and powerful tools covering diverse architectural domains, including cloud, AI, and blockchain. Architectural design involves reasoning.

    MCP Architect

    squirrelogic
    A
    security
    A
    license
    A
    quality
    Facilitates comprehensive architectural design and evaluation through specialized agents, rich resources, and powerful tools covering diverse architectural domains, including cloud, AI, and blockchain.
    3
    943
    15
    TypeScript
    ISC License

  • Why this server?

    Enhances Claude's reasoning capabilities by integrating DeepSeek R1's advanced reasoning engine for intricate multi-step reasoning tasks with precision and efficiency.

    DeepSeek-Claude MCP Server

    HarshJ23
    Verified
    A
    security
    A
    license
    A
    quality
    Enhances Claude's reasoning capabilities by integrating DeepSeek R1's advanced reasoning engine for intricate multi-step reasoning tasks with precision and efficiency.
    1
    35
    Python
    MIT License
    • Apple