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…
  ☆36Updated this week
• microsoft / multilspy
  multilspy is a lsp client library in Python intended to be used to build applications around language servers.
  ☆502Updated 3 months ago
• eth-sri / type-constrained-code-generation
  Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
  ☆80Updated 6 months ago
• IDNI / tau-lang
  ☆82Updated last week
• teilomillet / retrain
  a Python library that uses Reinforcement Learning (RL) to train LLMs.
  ☆41Updated 4 months ago
• fsndzomga / metadspy
  Metadspy: The framework for specifying—not programming—language models
  ☆88Updated 5 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…
  ☆57Updated 4 months ago
• willccbb / claude-code-mcp
  Letting Claude Code develop his own MCP tools :)
  ☆122Updated 9 months ago
• morph-labs / morphcloud-examples-public
  anything you want can be built with morph cloud
  ☆25Updated 2 months ago
• invariantlabs-ai / playwright-computer-use
  Let Claude control a web browser on your machine.
  ☆40Updated 6 months ago
• microsoft / debug-gym
  A Text-Based Environment for Interactive Debugging
  ☆284Updated this week
• Dicklesworthstone / model_guided_research
  ☆80Updated 3 weeks ago
• nuanced-dev / nuanced-py
  Enriched Python function call graphs for agents and coding assistants
  ☆122Updated 5 months ago
• MaximeRivest / ovllm
  ☆37Updated 4 months ago
• MaximeRivest / metakeyai
  ☆44Updated 5 months ago
• invariantlabs-ai / explorer
  A better way of testing, inspecting, and analyzing AI Agent traces.
  ☆40Updated last month
• agentic-labs / lsproxy
  Multi-language code navigation API in a container
  ☆95Updated 4 months ago
• tom-doerr / agent
  ☆50Updated last week
• Aider-AI / polyglot-benchmark
  Coding problems used in aider's polyglot benchmark
  ☆198Updated 11 months ago
• aavetis / PRarena
  This repo tracks the opened and merged PRs by the top SWE coding agents by OpenAI, GitHub, and others. Updates every 3 hours.
  ☆296Updated this week
• letta-ai / letta-code
  A self-improving, stateful coding agent that can learn from experience and improve with use.
  ☆129Updated this week
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆73Updated 4 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆75Updated 11 months ago
• Kvadratni / speech-mcp
  Speech MCP: A Goose MCP extension for voice interaction with audio visualization
  ☆78Updated last month
• PrimeIntellect-ai / prime
  Official CLI and Python SDK for Prime Intellect - access GPU compute, remote sandboxes, RL environments, and distributed training infrast…
  ☆117Updated this week
• oculairmedia / Letta-MCP-server
  MCP server to manage letta server and comunicate with agents
  ☆50Updated this week
• martinbowling / thinkchain
  🧠 Advanced Claude streaming interface with interleaved thinking, dynamic tool discovery, and MCP integration. Watch Claude think through…
  ☆182Updated 6 months ago
• aniemerg / smolcc
  A lightweight code assistant with tool-using capabilities built on HuggingFace's smolagents.
  ☆39Updated 6 months ago
• All-Hands-AI / openhands-aci
  Agent computer interface for AI software engineer.
  ☆115Updated last week
• scaleapi / SWE-bench_Pro-os
  SWE-Bench Pro: Can AI Agents Solve Long-Horizon Software Engineering Tasks?
  ☆228Updated 3 weeks ago