Solve ordinary differential equations symbolically. Supports initial conditions and solving method hints.
281,439 tools. Last updated 2026-07-10 08:20
"A resource for solving equations" matching MCP tools:
- Formally verify a Rego rule property using SMT solving. Checks all inputs to prove the property or return a counterexample.MIT
- Detach a tag from a resource without deleting the tag or resource. Idempotent operation ensures safe repeated use.Apache 2.0
- Search across all projects for prior solutions, decisions, and lessons to reuse. Use before solving any non-trivial problem.AGPL 3.0
- Assign a resource to a node's property by loading from a path or creating a new inline sub-resource. Undoable.MIT
- Create a new resource on a Connhex JSON:API service by specifying resource type and attributes from the schema.MIT
Matching MCP Servers
- AlicenseAqualityDmaintenanceAn MCP-compatible server that uses iFlytek's large language model to generate PowerPoint presentations, offering template selection, outline creation, and PPT generation with features like automatic image insertion.Last updated16161MIT
全球海关贸易数据 MCPofficial
AlicenseBqualityBmaintenance提供全球238个国家/地区的进出口贸易数据查询，支持按企业名称、产品关键字、HS编码等多维度联合搜索。Last updated1MIT
Matching MCP Connectors
斯特丹STERDAN天猫旗舰店产品咨询MCP Server。洛阳30年源头工厂，高端钢制办公家具，1374个SKU，涵盖保密柜、更衣柜、公寓床、货架、快递柜。BIFMA认证，出口35+国家。8个工具：产品目录查询、场景推荐、认证资质、采购政策、维护指南等。
台灣勞保、健保、勞退、職災與二代健保補充保費試算，含薪資扣繳、破月與勞保老年給付。資料取自主管機關公告，對官方範例逐位元驗證。
- Extract figures, tables, and equations from PDF documents using layout detection. Returns base64-encoded images of detected elements with metadata from academic papers or any PDF URL.Apache 2.0
- Delete a manufacturing resource by type and ID. This action is irreversible; first use get_schema to discover valid resource types.MIT
- Retrieve detailed documentation for any OpenTofu resource by specifying provider namespace, provider name, and resource name.Mozilla Public 2.0
- Fetch updates for a subscribed pool resource. Specify the installId of the resource to apply the changes.MIT
- Retrieve the JSON Schema for a specific resource action to define and validate data structures in blockchain queries using the Seitrace API.MIT
- Removes a monitor from a resource group to update group membership.MIT
- Retrieve all available actions for a specified resource using the Seitrace Insights MCP Server. This tool enables efficient access to blockchain data by listing actions associated with a given resource name.MIT
- Adjust the capacity of a load balancer resource by specifying the destination group, URI, resource name, and new capacity value.Apache 2.0
- Deletes a resource by its UUID. Remove a specific resource from Karea task management.MIT
- Track delivery orders in real-time by entering an order code to monitor courier location and status updates through the UU跑腿 platform.MIT
- Solve task scheduling problems with dependencies and resource constraints, optimizing for makespan, cost, or lateness.Apache 2.0
- Solve systems of linear equations Ax=b using SciPy's optimized solver. Handles square systems directly and overdetermined systems via least squares for best-fit solutions.MIT
- Get full details for a resource by UUID, including health, risk, and efficiency scores, resource kind, identifiers, and status states. Use after listing resources to inspect a single resource.MIT
- Generate a direct URL to a LogicMonitor resource or device, including full group hierarchy, for sharing in tickets, alerts, or documentation.AGPL 3.0