DeepSeek-Claude MCP Server

by HarshJ23
Verified
MIT License
20
  • Apple

Alternative MCP servers

  • A
    security
    A
    license
    A
    quality
    An adaptation of the MCP Sequential Thinking Server designed to guide tool usage in problem-solving. This server helps break down complex problems into manageable steps and provides recommendations for which MCP tools would be most effective at each stage.
    1
    38
    12
    TypeScript
    MIT License
  • A
    security
    A
    license
    A
    quality
    Enables integration of DeepSeek's language models with MCP-compatible applications, offering features like chat completion, custom model selection, and parameter control for enhancing language-based interactions.
    1
    388
    57
    JavaScript
    MIT License
  • -
    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.
    12
    Python
    MIT License
  • A
    security
    A
    license
    A
    quality
    This server facilitates structured problem-solving by breaking down complex issues into sequential steps, supporting revisions, and enabling multiple solution paths through full MCP integration.
    1
    8
    Python
    MIT License
    • Apple
  • 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
    5
    TypeScript
    MIT License
  • A
    security
    A
    license
    A
    quality
    A systematic reasoning MCP server implementation for Claude Desktop with beam search and thought evaluation capabilities
    1
    80
    TypeScript
    MIT License