MCP-RoCQ

Alternative MCP servers

  • -
    security
    F
    license
    -
    quality
    Connects Reaper projects to an MCP client like Claude Desktop, allowing users to ask questions and retrieve parsed information about the projects using natural language.
    5
    Python
  • -
    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
  • -
    security
    F
    license
    -
    quality
    This server provides a robust interface for Binance spot trading operations, including secure management of API credentials, execution and management of spot orders, and monitoring of account balances and open orders.
    2
    TypeScript
  • 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
  • -
    security
    A
    license
    -
    quality
    Enables AI applications to manage JIRA issues, workflows, and tasks through a standardized MCP interface, facilitating real-time updates and seamless interaction with JIRA's API.
    6
    Python
    MIT License
    • Apple
  • 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