Alternatives and similar repositories for mcp-solver

Users that are interested in mcp-solver are comparing it to the libraries listed below

• angrysky56 / mcp-logic
  Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claud…
  ☆41Updated last month
• eth-sri / type-constrained-code-generation
  Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
  ☆80Updated 7 months ago
• microsoft / multilspy
  multilspy is a lsp client library in Python intended to be used to build applications around language servers.
  ☆525Updated 4 months ago
• Aider-AI / grep-ast
  Grep source code and see useful code context about matching lines
  ☆301Updated 8 months ago
• invariantlabs-ai / explorer
  A better way of testing, inspecting, and analyzing AI Agent traces.
  ☆46Updated 2 weeks ago
• sdiehl / sympy-mcp
  A MCP server for symbolic manipulation of mathematical expressions
  ☆53Updated 7 months ago
• aniemerg / smolcc
  A lightweight code assistant with tool-using capabilities built on HuggingFace's smolagents.
  ☆41Updated 7 months ago
• hdresearch / mcp-python
  A python repl for MCP
  ☆35Updated last month
• willccbb / claude-code-mcp
  Letting Claude Code develop his own MCP tools :)
  ☆123Updated 10 months ago
• teilomillet / retrain
  a Python library that uses Reinforcement Learning (RL) to train LLMs.
  ☆42Updated 6 months ago
• evalops / cognitive-dissonance-dspy
  A multi-agent LLM system for detecting and resolving cognitive dissonance.
  ☆272Updated 3 months ago
• microsoft / debug-gym
  A Text-Based Environment for Interactive Debugging
  ☆291Updated this week
• jbellis / llmap
  LLMap solves context extraction for large codebases
  ☆115Updated 11 months ago
• Ziems / arbor
  A framework for optimizing DSPy programs with RL
  ☆309Updated 2 weeks ago
• smallcloudai / refact-bench
  A benchmarking tool for evaluating AI coding assistants on real-world software engineering tasks from the SWE-Bench dataset.
  ☆63Updated last week
• nuanced-dev / nuanced-py
  Enriched Python function call graphs for agents and coding assistants
  ☆126Updated 7 months ago
• eiondb / eion
  Shared Memory Storage for Multi-Agent Systems
  ☆138Updated 6 months ago
• recursivelabsai / Self-Tracing
  Building on Anthropic's Circuit Tracer, Neuronpedia, Ameisen et al. (2025) and Lindsey et al. (2025), we attempt to extend the paradigm w…
  ☆59Updated 6 months ago
• invariantlabs-ai / playwright-computer-use
  Let Claude control a web browser on your machine.
  ☆40Updated 7 months ago
• morph-labs / morphcloud-examples-public
  anything you want can be built with morph cloud
  ☆26Updated 3 months ago
• memextech / ht-mcp
  Pure Rust implementation of MCP server for headless terminal
  ☆203Updated last week
• lsd-so / lsd-mcp
  LSD Model Context Protocol
  ☆64Updated 10 months ago
• safurrier / mcp-filesystem
  Not just another MCP filesystem. Optimized file operations with smart context management and token-efficient partial reading/editing. Pro…
  ☆58Updated 10 months ago
• allisoneer / agentic_auxilary
  A collection of software tools to aid myself (and optionally others) in improved agentic ai development
  ☆51Updated last week
• darinkishore / codex_dspy
  DSPy module for OpenAI Codex SDK - signature-driven agentic workflows
  ☆152Updated last month
• Kvadratni / speech-mcp
  Speech MCP: A Goose MCP extension for voice interaction with audio visualization
  ☆78Updated 3 months ago
• thirdstrandstudio / mcp-tool-chainer
  ☆56Updated 5 months ago
• Tritlo / lsp-mcp
  An MCP server that lets you interact with LSP servers
  ☆100Updated 6 months ago
• SWE-agent / SWE-ReX
  Sandboxed code execution for AI agents, locally or on the cloud. Massively parallel, easy to extend. Powering SWE-agent and more.
  ☆415Updated last week
• fsndzomga / metadspy
  Metadspy: The framework for specifying—not programming—language models
  ☆88Updated 7 months ago