lean-lsp-mcp
Interact with the [Lean theorem prover](https://lean-lang.org/) via the Language Server Protocol.
KubeSphere
The KubeSphere MCP Server is a Model Context Protocol(MCP) server that provides integration with KubeSphere APIs, enabli...
JSON2Video MCP
A Model Context Protocol (MCP) server implementation for programmatically generating videos using the json2video API. Th...
Java Decompiler
Decompile Java bytecode into readable source code from .class files, package names, or JAR archives using CFR decompiler
iFlytek SparkAgent Platform
This is a simple example of using MCP Server to invoke the task chain of the iFlytek SparkAgent Platform.
Hyperledger Fabric Agent Suite
Modular toolkit for managing Fabric test networks and chaincode lifecycle via MCP tools.