Search

MCP server for rendering Lean 4 blueprint dependency graphs from structured theorem data.

Kion MCP Server - Model Context Protocol server for Kion API integration

Python client for an acture MCP server — a dict-like facade over the Model Context Protocol. The acture library itself lives on npm (https://www.npmjs.com/package/acture).

MCP server for SpecTool design specifications

Crukx MCP server — reliability control plane for autonomous software engineering

MCP server for JupyterLab — file ops, kernel management, and code execution

Markee MCP Server

RunSec MCP server rewritten in TypeScript.

Contextro MCP server — give your AI coding agent a brain

A stdio Model Context Protocol server.

WrongStack Model Context Protocol client and registry: stdio, SSE, and streamable HTTP transports.

Trello integration for any MCP-compatible client via Model Context Protocol (MCP)

Read-only Model Context Protocol server for Vetroscope — gives LLMs context on your tracked time, projects, and goals from your local Vetroscope SQLite database.

Model Context Protocol Client

Unofficial Model Context Protocol server for PhonePe Payments API

MCP (Model Context Protocol) server for Textral. Stdio transport; multi-profile addressing; works against Cloudflare and self-host deployments.

Model Context Protocol server for Life OS.

GitLab MCP server for managing projects, merge requests, release tagging, and search via Model Context Protocol.

Model Context Protocol server for OpenBat — read/write access to chatbot data for Claude, Cursor, and any MCP client

Model Context Protocol server that lets AI coding assistants (Claude Code, Cursor, Windsurf) check npm packages against the Sandcheck dataset before suggesting installs.