@cyanheads/git-mcp-server
A secure and scalable Git MCP server enabling AI agents to perform comprehensive Git version control operations via STDIO and Streamable HTTP.
claude-faf-mcp
IANA-registered format (application/vnd.faf+yaml) • Persistent project context • MCP server for Claude Desktop • MIT License
@mettamatt/code-reasoning
Enhanced MCP server for code reasoning using sequential thinking methodology, optimized for programming tasks
lean-agentic
High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic
@iwy/mcp
Model Context Protocol (MCP) server for iwy.ai API integration - enables Claude to manage AI agents and tools