Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux,...
Claude App
The Claude desktop and web apps — features and updates.
244 posts
Securely connect Claude.ai to your machines (SSH), APIs, browser, and memory , your infra, your control.
Zero-install persistent memory brain for Claude Code and Claude Desktop. Stops re-asking and re-deriving across sessions. SQLite FTS5 defaul...
Give any AI a real computer. Open source MCP server with Ubuntu sandbox, browser automation, desktop control, and 30+ tools. Works with Clau...
Free Kagi Search MCP server — access search and summarizer via session tokens, no API key needed. Works with Claude Desktop, Cursor, Windsur...
Claude Code plugin & MCP server for searching award flights, comparing loyalty programs, and finding the best points redemptions. Works with...
Recallium is a local, self-hosted universal AI memory system providing a persistent knowledge layer for developer tools (Copilot, Cursor, Cl...
MCP server for searching secondhand marketplaces — Facebook Marketplace, eBay, and Depop. Works with Claude Desktop, Claude Code, and other...
A small local bridge that lets clients like Claude Desktop, Codex, Cursor, or other MCP hosts connect to Affinity's built-in local MCP serve...
Shared memory for AI agents — an MCP server that gives Claude Code, Cursor, and Claude Desktop persistent team knowledge.
MCP server that connects AI agents (Claude Desktop, Cursor, Windsurf) directly to your MySQL, PostgreSQL, or SQLite database read-only by de...
Local-first, read-only MCP server to talk to your XP Investimentos portfolio through Claude Desktop. TypeScript + SQLite. Zero scraping, zer...