"Search for information about LSP" matching MCP servers:

Pay-per-call USDC payment proxy for AI agents. Issue scoped Pay Tokens with hard spending caps and auto-journal every charge to freee / Money Forward / QuickBooks.

AgentPay — x402 crypto data gateway on Stellar. 10 live pay-per-call tools: token prices, whale activity, gas tracker, DeFi TVL, Fear & Greed, Dune queries, token security. Agents pay USDC on Stellar. No API keys. Budget-aware sessions.

An improved implementation of persistent memory using a local knowledge graph with a customizable --memory-path. This lets Claude remember information about the user across chats.

Integrates Google's Gemini AI models into Claude Code and other MCP clients to provide second opinions, code comparisons, and token counting. It supports streaming responses and multi-turn conversations directly within your existing AI development workflow.

Use Codex as a subagent inside Claude Code: async dispatch into a long-lived codex app-server, results pushed back into the Claude session automatically, steer/interrupt mid-task, and Codex's built-in code review.

MCP server for AI agents handling EOR & global hiring conversations. 8 tools: country EOR briefs, misclassification risk, EOR vs entity calculator, termination rules, statutory benefits, work visa paths, objection handlers.

MCP server that keeps language server sessions warm and routes multiple languages through one process. Agents get persistent cross-file awareness, speculative execution (simulate edits before writing to disk), and 20 skills that encode correct multi-step operations like safe rename, blast-radius analysis, and end-to-end refactoring. Single Go binary, no runtime dependencies.

MCP server for SentVia that provides email infrastructure for AI agents, enabling them to create inboxes, send, reply, forward, search messages, manage drafts, domains, webhooks, and allow/block rules through 21 tools.

Enables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.

9 tools, Lightning-gated. Pay per call. For agents that need verifiable signed actions with an audit trail. Nostr event signing via daemon Publish events to relays Create Lightning invoices Action receipts — signed proof of agent actions Identity attestation

A Model Context Protocol server that enables Claude to interact directly with Unity projects, providing tools for script creation, asset management, and project building.

An intelligent agent that responds to financial queries about TreePod Glamping directly within Claude Desktop using MCP protocol, providing tools for tariff calculation, occupancy checking, financial analysis, and business reporting.

Merx - TRON Resource Exchange Merx is the first TRON resource exchange that aggregates energy and bandwidth providers into a single MCP server. GitHub: https://github.com/Hovsteder/merx-mcp Hosted SSE: https://merx.exchange/mcp/sse npm: merx-mcp Website: https://merx.exchange Stats * 52 tools, 30 prompts, 21 resources * 7+ energy providers (CatFee, ITRX, PowerSun, Fe

A simple template for creating custom tools for Cursor IDE using Model Context Protocol, deployable via Heroku, Docker, or directly within Cursor IDE.

Provides persistent personal and organizational knowledge storage that any LLM can connect to for instant context about who you are, what you do, and your preferences. Enables AI agents to maintain long-term memory across sessions through structured data categories, semantic search, and export/import capabilities.

A server that integrates trained Random Forest models with Bee Framework, enabling ReAct interactivity for AI tools and agents.

Hey @roocode community! I'm thrilled to share a project born from my work with Roocode and the vision of an AI-powered development team: the Anubis MCP Server! This system is heavily inspired by Roocode and designed to orchestrate an AI development workflow based on agile methodology. It simulates

An AI-centric MCP server that enables automated Xilinx Vivado workflows, including project management, synthesis, implementation, and timing analysis. It allows AI agents to drive hardware design processes while integrating directly with the official Vivado GUI for visual context.

Provides persistent memory for AI models by enabling the storage and retrieval of episodic, semantic, and procedural information through the memro protocol. It allows assistants to maintain long-term context via semantic search and chronological memory management.

Adds OrgX MCP tools to a DeepSeek Harness profile and runs a workspace-bound OrgX gateway peer through Harness headless mode.