Parse a Lingua Universale (.lu) protocol text into a structured JSON with protocol name, roles, steps, and properties.
Apache 2.0
160,070 tools. Last updated 2026-05-29 18:05
"h-lu/cnki-mcp" matching MCP tools:
- Verify formal safety properties declared in a .lu protocol using static checking and optional formal verification.Apache 2.0
- Check open-source availability and verify authentication for CNKI and Web of Science.MIT
- Retrieve comprehensive academic paper details from CNKI by providing a paper URL, including title, authors, abstract, citations, and publication metadata.
- Locate CNKI academic papers by matching titles or keywords to verify research or find specific publications using character matching algorithms.
- Perform LU decomposition on a symbolic matrix. Input a matrix as a string to receive its lower and upper triangular factors.MIT
Matching MCP Servers
- FlicenseAqualityDmaintenanceEnables AI agents to search and retrieve academic papers from China National Knowledge Infrastructure (CNKI), supporting various search types including subject, keyword, author, and DOI lookups.Last updated321
- Alicense-qualityBmaintenance基于Model Context Protocol (MCP) 的A股实时行情查询服务器，支持查询A股实时价格、历史K线数据、财务信息及市场概况。Last updated5MIT
Matching MCP Connectors
斯特丹STERDAN天猫旗舰店产品咨询MCP Server。洛阳30年源头工厂，高端钢制办公家具，1374个SKU，涵盖保密柜、更衣柜、公寓床、货架、快递柜。BIFMA认证，出口35+国家。8个工具：产品目录查询、场景推荐、认证资质、采购政策、维护指南等。
金谷园饺子馆的自动化管理系统
- Retrieve intraday A/H share premium rates minute by minute for a given security symbol.MIT
- Retrieve A/H share premium historical K-line data with open, high, low, close values for any symbol and period.MIT
- Check MCP connectivity to ToseaAI. Verify server availability before using document-to-presentation tools.MIT
- List the allowed MCP scopes for your Apideck integration to verify access permissions.MIT
- Check if the MCP server and API are reachable. Returns status to verify connectivity.
- Retrieve and analyze the configuration of the Sinch MCP server to identify enabled or disabled tools, along with troubleshooting details for disabled tools.Apache 2.0
- Create delivery orders through UU跑腿 by providing a price token and recipient phone number to finalize and submit order requests.MIT
- Check Graphistry MCP server health status to verify connectivity and operational state for graph visualization and analytics.MIT
- Retrieve version information for the Qiniu MCP Server to verify current deployment status and compatibility with cloud services.MIT
- Retrieve delivery order details by entering the order code to track status, view information, and manage UU跑腿 (UU Errands) service requests.MIT
- Cancel delivery orders on UU跑腿 by providing order code and cancellation reason to manage order status changes.MIT
- Get instant delivery price quotes for UU跑腿 orders by entering pickup and destination addresses to estimate costs before booking.MIT
- Track delivery orders in real-time by entering an order code to monitor courier location and status updates through the UU跑腿 platform.MIT
- Retrieve the running version of qrz-mcp and the QRZ API contract to detect drift across MCP deployments.GPL 3.0