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…
  ☆42Updated 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
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆79Updated 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…
  ☆61Updated 6 months ago
• sdiehl / sympy-mcp
  A MCP server for symbolic manipulation of mathematical expressions
  ☆53Updated 7 months ago
• phildougherty / mcp-compose
  Compose, manage, and run MCP servers as Docker containers. With a Unified API gateway built in.
  ☆53Updated 4 months ago
• Dicklesworthstone / model_guided_research
  ☆93Updated last week
• METR / eval-analysis-public
  Public repository containing METR's DVC pipeline for eval data analysis
  ☆199Updated last week
• darinkishore / codex_dspy
  DSPy module for OpenAI Codex SDK - signature-driven agentic workflows
  ☆151Updated 2 months ago
• hdresearch / mcp-python
  A python repl for MCP
  ☆36Updated last month
• memextech / ht-mcp
  Pure Rust implementation of MCP server for headless terminal
  ☆205Updated last week
• nuanced-dev / nuanced-py
  Enriched Python function call graphs for agents and coding assistants
  ☆126Updated 7 months ago
• teilomillet / retrain
  a Python library that uses Reinforcement Learning (RL) to train LLMs.
  ☆42Updated 6 months ago
• microsoft / debug-gym
  A Text-Based Environment for Interactive Debugging
  ☆294Updated this week
• dnakov / claude-mcp
  Browser extension to enable MCP in claude.ai
  ☆107Updated 7 months ago
• fsndzomga / metadspy
  Metadspy: The framework for specifying—not programming—language models
  ☆88Updated 7 months ago
• allisoneer / agentic_auxilary
  A collection of software tools to aid myself (and optionally others) in improved agentic ai development
  ☆53Updated this week
• evalops / cognitive-dissonance-dspy
  A multi-agent LLM system for detecting and resolving cognitive dissonance.
  ☆274Updated 3 months ago
• willccbb / claude-code-mcp
  Letting Claude Code develop his own MCP tools :)
  ☆123Updated 11 months ago
• SakanaAI / drq
  Digital Red Queen: Adversarial Program Evolution in Core War with LLMs
  ☆176Updated 3 weeks ago
• microsoft / multilspy
  multilspy is a lsp client library in Python intended to be used to build applications around language servers.
  ☆529Updated this week
• morph-labs / morphcloud-examples-public
  anything you want can be built with morph cloud
  ☆26Updated 3 months ago
• jbellis / llmap
  LLMap solves context extraction for large codebases
  ☆115Updated 11 months ago
• smallcloudai / refact-bench
  A benchmarking tool for evaluating AI coding assistants on real-world software engineering tasks from the SWE-Bench dataset.
  ☆63Updated 2 weeks ago
• IDNI / tau-lang
  ☆86Updated this week
• ruvnet / FACT
  FACT – Fast Augmented Context Tools: FACT is a lean retrieval pattern that skips vector search. We cache every static token inside Claude…
  ☆134Updated 6 months ago
• thirdstrandstudio / mcp-tool-chainer
  ☆56Updated 6 months ago
• synth-laboratories / synth-ai
  Prompt Optimization
  ☆73Updated this week
• aipotheosis-labs / aci-agents
  ☆56Updated 5 months ago
• Aider-AI / polyglot-benchmark
  Coding problems used in aider's polyglot benchmark
  ☆199Updated last year