"A server for reasoning about code using MCP" matching MCP servers:

A production-grade MCP server for the Code-Fundi API, enabling AI agents to map codebases, search semantically, and analyze blast radius. It provides tools for repository management, AI-powered research, and impact analysis before shipping changes.

Gemini-powered MCP server for automated code review, analysis, and documentation.

This MCP server enables remote control and management of Claude Code agents, allowing you to execute missions, configure agent personalities, and integrate with other MCP tools.

Model Context Protocol (MCP) server for GitLab — exposes 1006 GitLab REST & GraphQL API operations as MCP tools (42 meta-tools / 57 enterprise), 24 resources, 38 prompts, and 17 completion types for AI assistants. Written in Go, single static binary, stdio and HTTP transport.

Enables local SOC 2 compliance work by scanning Infrastructure-as-Code, mapping findings to SOC 2 Trust Services Criteria, explaining risks in plain English, and drafting audit-ready documents without uploading files.

An MCP server for interacting with Reddit, enabling browsing, searching, content creation, and management with built-in safe mode and bot disclosure features.

An MCP server that lets LLM agents operate the IDnow Trust Platform sandbox to list verification flows, create sessions, check sessions, and get session details.

MCP server for the BoondManager API, enabling Claude to search, create, and modify records across 36 domains with 158 tools.

MCP server enabling AI assistants to interact with your LogicMonitor, providing 125 tools for comprehensive monitoring and management operations.

MCP server for the Oura Ring API v2, enabling natural language queries about sleep, readiness, activity, heart rate, and more.

Provides a Model Context Protocol server with tools for knowledge base search, retrieval, and addition, plus system time, resources, and prompts. Supports stdio and Streamable HTTP transports for local and shared deployments.

Provides AI coding assistants with access to AccelByte Gaming Services (AGS) Extend SDK functions and models through searchable symbols and detailed documentation. Helps generate SDK code by exposing context about available functions, models, and templates for creating Extend app projects across multiple languages (Go, C#, Java, Python).

An MCP server that gives AI agents full access to the Harness.io platform through 11 consolidated tools and 207 resource types.

Enables LLMs to inspect schemas and execute SQL queries on Peaka projects using Peaka's text2SQL capabilities.

An MCP server that demonstrates the Model Context Protocol using a mock SQLite database of an online store, offering tools for product search, sales analysis, and reviews, along with resources and prompts for learning MCP integration.

MCP server for time, timezone, and duration operations. Enables getting current time in any timezone, converting timestamps between timezones, adding/subtracting ISO-8601 durations, and computing time between two timestamps.

A Python MCP server for web research that enables fetching web pages, searching, batch-fetching, extracting links, and summarizing content via client-side sampling, with optional local file access.

An intelligence layer for discovering and orchestrating Japanese SaaS MCP tools through intent-based search and workflow recipes. It enables AI agents to evaluate service quality using community-driven insights while ensuring privacy through automated PII masking.

A read-only MCP server that provides family-context tools for the A2Me platform, enabling AI assistants to answer family-related questions and help write messages by securely accessing family member profiles, upcoming events, and recent activity.

Enables gene set enrichment analysis using the Enrichr API across hundreds of gene set libraries including Gene Ontology, pathways, diseases, tissues, drugs, and transcription factors. Returns only statistically significant results for interpretation.