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…
  ☆34Updated 7 months ago
• morph-labs / morphcloud-examples-public
  anything you want can be built with morph cloud
  ☆25Updated last month
• eth-sri / type-constrained-code-generation
  Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
  ☆78Updated 5 months ago
• microsoft / debug-gym
  A Text-Based Environment for Interactive Debugging
  ☆276Updated this week
• jbellis / llmap
  LLMap solves context extraction for large codebases
  ☆111Updated 8 months ago
• scaleapi / SWE-bench_Pro-os
  SWE-Bench Pro: Can AI Agents Solve Long-Horizon Software Engineering Tasks?
  ☆213Updated this week
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆71Updated 3 months ago
• sdiehl / tiny-graphrag
  A tiny 1000 line implementation of GraphRAG in Python
  ☆90Updated last week
• invariantlabs-ai / playwright-computer-use
  Let Claude control a web browser on your machine.
  ☆39Updated 5 months ago
• willccbb / claude-code-mcp
  Letting Claude Code develop his own MCP tools :)
  ☆123Updated 8 months ago
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆112Updated last year
• Ziems / arbor
  A framework for optimizing DSPy programs with RL
  ☆276Updated this week
• invariantlabs-ai / explorer
  A better way of testing, inspecting, and analyzing AI Agent traces.
  ☆40Updated 3 weeks 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 3 months ago
• MaximeRivest / metakeyai
  ☆44Updated 4 months ago
• Dicklesworthstone / model_guided_research
  ☆79Updated 2 months ago
• martinbowling / thinkchain
  🧠 Advanced Claude streaming interface with interleaved thinking, dynamic tool discovery, and MCP integration. Watch Claude think through…
  ☆180Updated 5 months ago
• fsndzomga / metadspy
  Metadspy: The framework for specifying—not programming—language models
  ☆88Updated 5 months ago
• changjonathanc / llmproc
  LLMProc: Unix-inspired runtime that treats LLMs as processes.
  ☆34Updated 4 months ago
• vgel / logitloom
  explore token trajectory trees on instruct and base models
  ☆148Updated 5 months ago
• IDNI / tau-lang
  ☆82Updated this week
• dbos-inc / durable-swarm
  Augment Swarm with durable execution to help you build reliable and scalable multi-agent systems.
  ☆111Updated last year
• avbiswas / context-engineering-dspy
  Context Engineering Course with DSPy
  ☆202Updated 3 months ago
• evalops / cognitive-dissonance-dspy
  A multi-agent LLM system for detecting and resolving cognitive dissonance.
  ☆269Updated last month
• smallcloudai / refact-bench
  A benchmarking tool for evaluating AI coding assistants on real-world software engineering tasks from the SWE-Bench dataset.
  ☆61Updated 5 months ago
• dnakov / claude-mcp
  Browser extension to enable MCP in claude.ai
  ☆105Updated 5 months ago
• jonrad / lsp-mcp
  An Model Context Protocol (MCP) server that provides LLMs/AI Agents with the capabilities of a language server protocol (LSP) server. Thi…
  ☆150Updated 7 months ago
• BismuthCloud / asimov
  A Python framework for building AI agent systems with robust task management in the form of a graph execution engine, inference capabilit…
  ☆31Updated 5 months ago
• MaximeRivest / ovllm
  ☆35Updated 3 months ago
• darinkishore / codex_dspy
  DSPy module for OpenAI Codex SDK - signature-driven agentic workflows
  ☆137Updated 3 weeks ago