Code Assistant
An LLM-powered, autonomous coding assistant. Also offers an MCP and ACP mode.
Ai AgentsMIT
Markdown Downloader
A MCP Server that will download any webpage as markdown in an instant. Download docs straight to your IDE for AI context. Powered by Jina.ai
Developer ToolsMIT
Mcp Logic
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
Developer ToolsMIT