"Enhanced MCP-Reasoner with Monte Carlo Tree Search and Beam Search Integration" matching MCP servers:

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.

Enables advanced reasoning for large language models through Monte Carlo Tree Search and Beam Search, allowing exploration of multiple reasoning paths and improved decision-making.

A systematic reasoning MCP server implementation for Claude Desktop with beam search and thought evaluation capabilities

SWI-Prolog execution for LLMs with CLP(FD) and recursion — boosts logic/constraint accuracy from 73% to 90% on a 30-problem benchmark.

An MCP server that exposes job-search and application-management capabilities to compatible AI clients, enabling discovery of vacancies, drafting of tailored application materials, and coordinated human-approved submissions.

Enables AI agents to browse and interact with JavaScript-rendered websites stealthily, and to delegate research or automation tasks to sub-agents that can cite sources and produce reusable scripts, with full logging and a live dashboard.

A lightweight and fast MCP server that enables AI agents to efficiently discover and execute tools through progressive disclosure, minimizing context consumption while supporting safe code execution in external environments.

A Model Context Protocol server that empowers AI agents with metacognitive monitoring to detect reasoning loops and provide intelligent recovery using case-based reasoning and statistical analysis.

Persistent memory system for AI agents that records episodic memories with care-weighting and emotional valence, and provides full-text search with temporal chaining and automatic consolidation.

MCP server that establishes feedback-oriented development workflows with dual Web UI and desktop application interfaces, enabling AI to confirm with users via prompts and real-time feedback to reduce speculative operations and improve efficiency.

Production-ready MCP server that integrates OpenAI API with extensible tool support, enabling dynamic plugin loading and knowledge search capabilities through multiple interfaces including CLI and browser UI.

Enterprise-grade AI memory infrastructure with multi-agent support, providing 122 MCP tools for memory management, agent coordination, and cross-language SDKs.

Enables natural language control of quantum photonics experiments through the qudi framework. Supports safe instrument control, measurement execution, and safety system management with built-in runlevel protection and parameter validation.

A Model Context Protocol (MCP) server that enables structured multi-path investigations using a Tree of Thoughts approach.

Implements a Model Control Protocol server integrated with Google Gemini LLM, providing a flexible framework for building AI-powered applications.

Enables building and evaluating LangGraph agents over a protocol-level MCP server to measure failure rates across four agent topologies.

Automatically analyzes and dispatches user tasks to appropriate handlers, supporting development task processing via Miyabi Agent and medical AI academic article generation. Provides intelligent task classification and routing for development, writing, and general tasks.

Enables autonomous agents to snapshot execution-tree and context states, evaluate branch viability, and roll back to previous checkpoints when an exploration path fails without restarting from scratch.

Enables chat with multiple LLM providers (OpenAI and Anthropic) while maintaining persistent conversation memory. Provides extensible tool framework for various operations including echo functionality and conversation storage/retrieval.

Provides a hand-written MCP server integrated with a LangGraph agent to benchmark multiple agent topologies and measure their failure rates.

Enables long-running autonomous agents to snapshot environment and context states, evaluate the viability of competing reasoning branches, and roll back to an earlier checkpoint when an exploration path fails without restarting from scratch. Exposes this tree-of-thoughts state management over the Model Context Protocol for use in Claude Desktop, Cursor, and custom agentic frameworks.

Enables comprehensive control and monitoring of Home Assistant smart home devices, automations, scenes, and system management through AI assistants. Supports lights, climate, media players, notifications, history tracking, and advanced automation workflows.

A server that connects Unity with local large language models through Ollama, enabling developers to automate workflows, manipulate assets, and control the Unity Editor programmatically without relying on cloud-based LLMs.

MCP server that exposes the DALI2-Agent-Brain symbolic verification system as tools, allowing MCP clients to submit reasoning problems for formal Prolog-based verification.

Enables an LLM to dynamically discover and invoke external tools through the Model Context Protocol, using Google Gemini to select and execute the appropriate tool and generate a final response.

AI-powered penetration testing reasoning engine (MCP server) for attack path planning, step scoring, and tool recommendations using Beam Search and Monte Carlo Tree Search.

Enables AI agents to break down complex tasks into manageable pieces using a structured JSON format with task tracking, context preservation, and progress monitoring capabilities.

Implements the Tree of Thoughts framework for structured reasoning and decision tree exploration, enabling LLMs to explore multiple reasoning paths, evaluate them, and backtrack.

A Model Context Protocol server that enhances Claude in Cursor AI with advanced reasoning capabilities including Monte Carlo Tree Search, Beam Search, R1 Transformer, and Hybrid Reasoning methods.

Enables MCP clients to compute shortest paths, topological dependency orderings, maximum network flows, minimum spanning trees, and PageRank-style centrality over graph topologies using only the Python standard library. It supports optimal multi-agent communication backbone and execution-plan analysis without external graph dependencies.