- Conduid
- Marketplace
- #scip
MCP servers tagged scip
12 live MCP servers tagged "scip", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with scip.
Ckb
Code intelligence for AI assistants - MCP server, CLI, and HTTP API with symbol navigation, impact analysis, and architecture mapping
Codegraph
Token-efficient code knowledge graph for AI coding agents — type-checker-accurate call graphs for Go & TypeScript/JS, served over MCP.
Jaot
Open optimization platform & marketplace — build, buy & automate optimization models. Solver-agnostic (SCIP/HiGHS), RAG formulation assistant, MCP server. FastAPI + Next.js.
Ariadne Graph
MCP server that turns Python/TypeScript repos into a code knowledge graph — compiler-accurate SCIP + Tree-sitter hybrid, hybrid search, impact analysis
Circuit
Graph-backed code intelligence for coding agents — compiler-grade code structure wired to the git/PR/issue history that explains it, served over MCP.
cq27-dev/rag-rat
rat`
Frigg
Fast local code intelligence for AI agents powered by AST Treesitter, SCIP, semantic search and a reranker
Astra Code Map
Semantic code map and code graph MCP server for AI coding agents, powered by SCIP and Tree-sitter.
Jarvis Index
Public distribution surface for jarvis — local-first code intelligence MCP server (SCIP navigation + Zoekt search). Installer, Claude Code / Codex / Cursor plugins, and prebuilt b…
Stubborn
Stubborn — deterministic code context from SCIP symbol graphs
Comind
Deterministic, cross-repo code intelligence for coding agents - a self-hosted single binary that serves your whole codebase's graph to agents over MCP.
Fathom
Code-intelligence and evidence engine for coding agents: indexes symbols, call edges and config references, serves them over MCP and harness hooks, and proves plan claims with a v…