microsandbox/microsandbox

A Dockerized Lean4 execution environment MCP server for AI agents, providing isolated code execution with transient or persistent environments.

An MCP server enabling MCP clients to execute Mathematica code and verify derivations via stdio.

Ghidra MCP server that extracts binary analysis data and exposes it to LLMs via Model Context Protocol

An MCP server that exposes Pi-hole functionality as tools for AI assistants

A MCP server for providing code snippets via Nostr

An MCP server that allows users to install other MCP servers from npm or PyPi directly via prompts.