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…
  ☆35Updated this week
• microsoft / debug-gym
  A Text-Based Environment for Interactive Debugging
  ☆282Updated last week
• eth-sri / type-constrained-code-generation
  Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
  ☆79Updated 5 months ago
• Aider-AI / grep-ast
  Grep source code and see useful code context about matching lines
  ☆290Updated 7 months ago
• fsndzomga / metadspy
  Metadspy: The framework for specifying—not programming—language models
  ☆88Updated 5 months ago
• microsoft / multilspy
  multilspy is a lsp client library in Python intended to be used to build applications around language servers.
  ☆499Updated 3 months ago
• synth-laboratories / synth-ai
  Serverless Posttraining
  ☆61Updated this week
• invariantlabs-ai / explorer
  A better way of testing, inspecting, and analyzing AI Agent traces.
  ☆40Updated last month
• 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
• jbellis / llmap
  LLMap solves context extraction for large codebases
  ☆112Updated 9 months ago
• invariantlabs-ai / playwright-computer-use
  Let Claude control a web browser on your machine.
  ☆39Updated 6 months ago
• OpenAdaptAI / OmniMCP
  OmniMCP uses Microsoft OmniParser and Model Context Protocol (MCP) to provide AI models with rich UI context and powerful interaction cap…
  ☆65Updated 8 months ago
• coderabbitai / ast-grep-essentials
  Community-led collection of essential ast-grep rules.
  ☆114Updated 4 months ago
• codestoryai / prompts
  Contains the prompts we use to talk to various LLMs for different utilities inside the editor
  ☆83Updated last year
• willccbb / claude-code-mcp
  Letting Claude Code develop his own MCP tools :)
  ☆123Updated 9 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆73Updated 4 months ago
• MaximeRivest / metakeyai
  ☆44Updated 5 months ago
• facebookresearch / polymath
  AI Agent leveraging symbolic reasoning and other auxiliary tools to boost its capabilities on various logic and reasoning benchmarks. Thi…
  ☆38Updated 3 months ago
• vgel / logitloom
  explore token trajectory trees on instruct and base models
  ☆149Updated 6 months ago
• sdiehl / sympy-mcp
  A MCP server for symbolic manipulation of mathematical expressions
  ☆44Updated 5 months ago
• amidabuddha / unichat-mcp-server
  ☆37Updated 4 months ago
• thirdstrandstudio / mcp-tool-chainer
  ☆55Updated 4 months ago
• henryhawke / mcp-titan
  This tool is a cutting-edge memory engine that blends real-time learning, persistent three-tier context awareness, and seamless plug-n-pl…
  ☆76Updated this week
• 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
• aniemerg / smolcc
  A lightweight code assistant with tool-using capabilities built on HuggingFace's smolagents.
  ☆39Updated 5 months ago
• Elijas / baml-agents
  Building Agents with LLM structured generation (BAML), MCP Tools, and 12-Factor Agents principles
  ☆58Updated 5 months ago
• tom-doerr / path_scripts
  ☆28Updated 8 months ago
• memextech / ht-mcp
  Pure Rust implementation of MCP server for headless terminal
  ☆193Updated last week
• irthomasthomas / undecidability
  ☆23Updated last year
• IBM / prompt-declaration-language
  Prompt Declaration Language (PDL) is a declarative prompt programming language.
  ☆267Updated this week