Chiasmus is an MCP server that gives language models access to formal verification

mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.

A Model Context Protocol (MCP) server that provides seamless integration with Neovim instances, enabling AI assistants to interact with your editor through connections and access diagnostic information via structured resources.

MCP for 1C:EDT

An MCP server for interacting with Sentry via LLMs.

Give any AI agent the ability to code

Use ChatGPT Developer Mode as a local coding agent for your repo through MCP.

Give your AI Agent a whole IDE, not just the files

MCP server for Git with local Ollama — zero tokens for git operations

MCP Workspace Server: A secure Model Context Protocol server providing file, git, and GitHub tools for AI assistants within a sandboxed project directory.

eBPF-powered network observability for Kubernetes. Indexes L4/L7 traffic with full K8s context, decrypts TLS without keys. Queryable by AI agents via MCP and humans via dashboard.

Node.js/TypeScript MCP server for Atlassian Bitbucket. Enables AI systems (LLMs) to interact with workspaces, repositories, and pull requests via tools (list, get, comment, search). Connects AI directly to version control workflows through the standard MCP interface.