Codeintel
Local installLocal-first SCIP code navigation and Zoekt search over your own indexed repositories
2,985 servers in Developer Tools
Local-first SCIP code navigation and Zoekt search over your own indexed repositories
Free MCP server: compute a GitHub repo maintenance/abandonment health score from live data.
Wraps Codex CLI as MCP tools: codex, review, query, search, structured, ping, listSessions.
MCP server and CLI that makes CSS legible to AI agents — explains what applies and why.
PoC beta server - extras-gated deps, subcommand selection, same PyPI package as alpha.
Sandboxed AI-native bash with 70 agentic tools: run_bash, code edit/diff, WASM Python/JS.
Submit architecture docs, get a consulting-grade traceability audit at a shareable URL

CAST Dashboard MCP server for compliance, quality, and technical debt insights for AI agents
Read-only, commit-pinned repository context for coding agents.
Visual tech-stack inventory of any codebase: languages, frameworks, databases, AI SDKs, infra.
Monitor MCP, CI, and HTTP targets with health history, TLS expiry, assertions, and diagnostics
Content-addressed contracts and a verification cache that cut agent context by skipping proven code.
36 local developer utilities for AI agents. Hash, encoding, UUID, JWT, JSON, network, text.
IDA Pro MCP fusion with cache queries and multi-binary headless analysis.
Structural warm start for AI coding agents in .NET: cheap Roslyn signature maps of C#/.NET files.
MCP server for JavaScript reverse engineering and browser debugging.
npm/PyPI/Cargo package metadata + downloads + maintainer health.
One MCP endpoint for Claude Code, Codex, Gemini, Grok and Mistral CLIs, with durable async jobs.
Hash-verified file editing MCP server with token efficiency hook for AI coding agents.
Deterministic repository structure mapping for onboarding agents.
Self-hosted GitHub MCP server. PAT auth, stdio transport, transport-agnostic so it works with…
Deterministic SHACL-based assessment and comparison for digital passport data models.
MCP server for code structure analysis using tree-sitter.
Production engineering standards for AI coding assistants. Setup once, remove when done.
MCP server for codewiki.google: search repos, fetch wiki docs, ask questions
Assembly-accelerated DuckDB MCP server for code search, indexing, and symbol lookup.
Wraps sigrok-cli for signal analysis: capture data, decode protocols, and query instruments.