MCP Servers for claude-3-5-sonnet

A MCP Server that will download any webpage as markdown in an instant. Download docs straight to your IDE for AI context.

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc

A Model Context Protocol Server for MongoDB

Giving Claude ability to run code with E2B via MCP (Model Context Protocol)

A TypeScript-based MCP server that enables testing of REST APIs through Cline. This tool allows you to test and interact with any REST API endpoints directly from your development environment.