MCP Servers by Mike Perry

"author:shadowkat-xsp" matching MCP servers:

• Lean LSP MCP

  oOo0oOo

  A

  security

  A

  license

  A

  quality

  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.

  Last updated 19 hours ago

  18

  286

  MIT

• SP Database MCP Server

  JJVvV

  A

  security

  A

  license

  A

  quality

  A Model Context Protocol server that provides real-time database schema information to AI assistants, supporting both low-code system schema queries and traditional database metadata queries.

  Last updated 7 months ago

  4

  MIT

• OSP Marketing Tools MCP Server

  x51xxx

  A

  security

  A

  license

  A

  quality

  A TypeScript implementation of a Model Context Protocol server that provides marketing tools based on Open Strategy Partners' methodologies, enabling content creation, optimization, and product positioning through tools like value map generation, meta information creation, and content editing.

  Last updated a year ago

  6

  1

  5

  CC BY-SA 4.0

• LSP Tools MCP Server

  rajnaveen344

  A

  security

  A

  license

  A

  quality

  A Model Context Protocol server that provides tools to find regex pattern positions in files and list allowed directories, enabling text analysis with LSP-like functionality.

  Last updated a year ago

  2

  1

  MIT

• LSP MCP Server

  sminnee

  A

  security

  F

  license

  A

  quality

  Provides code refactoring capabilities for TypeScript/JavaScript and Python through Language Server Protocol integration. Enables renaming symbols, extracting functions, finding references, and moving code between files via natural language commands.

  Last updated 6 months ago

  5

  81

  6
• 

  SAP HANA XS Advanced MCPofficial

  CDataSoftware

  -

  security

  A

  license

  -

  quality

  This project builds a read-only MCP server. For full read, write, update, delete, and action capabilities and a simplified setup, check out our free CData MCP Server for SAP HANA XS Advanced (beta): https://www.cdata.com/download/download.aspx?sku=HHZK-V&type=beta

  Last updated 4 months ago

  1

  MIT