Skip to main content
Glama

Server Details

Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.

If you are the author of this connector, you can claim ownership by verifying the domain or GitHub account it belongs to. Claimed connector authors can inspect health checks, view analytics, and manage their listing.
Status
Healthy
Last Tested
Transport
Streamable HTTP · MCP 2024-11-05
URL
Repository
genesis-plan/lingshu-solver
GitHub Stars
0
Server Listing
lingshu-solver

TDQS

A4/5.0

Scored across 5 tools

Disambiguation4/5

The core math tools are mostly distinct, but solve and poly_roots overlap for single-polynomial root finding, which could cause misselection. verify is adjacent to solve but clearly framed as checking a claimed answer, while pay and give_feedback are support operations with distinct purposes.

Naming Consistency3/5

The set mixes conventions: give_feedback uses verb_noun snake_case, poly_roots is a noun phrase, and pay/solve/verify are bare verbs. The names remain readable, but there is no single predictable pattern across all tools.

Tool Count5/5

Five tools is well-scoped for a deterministic math-solving server with payment and feedback support. Each tool has a plausible role, and the count avoids both thinness and bloat.

Completeness4/5

The surface covers the stated solver domain well: general equation solving, polynomial roots, answer verification, plus feedback and payment. Some adjacent operations like complex roots or symbolic manipulation are absent, but they are explicitly out of scope.

Available Tools

5 tools
give_feedbackAInspect

Report a problem to the operator when solve hits a dead end, returns an error, or produces something you believe is wrong. The text is written to a local log only and is never transmitted anywhere else.

ParametersJSON Schema
NameRequiredDescriptionDefault
contextNoOptional context: the triggering scenario or input characteristics.
messageYesWhat you hit, what you expected, and what you actually got.

TDQS

A4.2/5.0
Behavior4/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

With no annotations, the description carries the full behavioral burden and discloses the key side effect: text is written to a local log only and never transmitted elsewhere. It does not cover log location, permissions, or return behavior, but the critical data-handling trait is stated.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness5/5

Is the description appropriately sized, front-loaded, and free of redundancy?

The description is two efficient sentences. The primary purpose and trigger conditions are front-loaded, and the second sentence adds essential behavioral context without waste.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness4/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

For a simple two-parameter feedback tool with no output schema and no annotations, the description covers purpose, usage triggers, and data handling adequately. It could be slightly more complete by clarifying whether feedback should also be given when verify finds issues, but the core context is sufficient.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters3/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema description coverage is 100%, and the schema already documents both context and message thoroughly. The description adds no parameter-specific syntax, format, or constraints beyond what the schema provides, so the baseline of 3 is appropriate.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose5/5

Does the description clearly state what the tool does and how it differs from similar tools?

The description states a specific verb and target: reporting a problem to the operator. It also specifies the exact triggering conditions tied to the sibling tool solve, making it easy to distinguish from computational siblings like solve, verify, and poly_roots.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines4/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

It clearly says when to use the tool: when solve hits a dead end, returns an error, or produces something believed wrong. It does not state when not to use it or name explicit alternatives, but the contextual guidance is strong and actionable.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

payAInspect

Create a real payment order for this or future solving. Returns the order id, a dedicated key, and a structured payment intent. The payment channel is a corporate static collection code (UnionPay aggregate QR) settling into a corporate bank account; no payment-platform merchant API is used. AFTER PAYING: call this tool again with orderId and selfReportPaid:true and the order is credited and released immediately, with no manual check and no waiting for reconciliation, because this service runs on an honor system. If the server has no payment method configured the order is still created but payIntent.payTo is null; use honorPaid:true or contact the operator instead.

ParametersJSON Schema
NameRequiredDescriptionDefault
channelNoPayment channel: currently fixed to corporate-static (corporate bank collection). Leave empty.
orderIdNoFor self-reporting: the order id returned by a previous pay call, shaped like LS-YYYYMMDD-xxxxxx.
selfReportNoteNoOptional payment note (payer, channel, time), kept only for reconciliation, up to 200 characters.
selfReportPaidNoFor self-reporting: set true after paying to declare that this order was paid. The server does not verify and credits the order amount and releases it immediately (honor system); the credit is marked amountVerified:false / creditedBy:self_report so it can be reconciled against bank statements afterwards.

TDQS

A4.7/5.0
Behavior5/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

With no annotations, the description carries the full burden and does so: it discloses the honor-system behavior (no verification, no manual check, no reconciliation wait), the settlement path (corporate static collection code, no merchant API), the null payTo.payTo edge case, and how the credit is marked (amountVerified:false / creditedBy:self_report). This is exactly the non-obvious trust model an agent needs.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness4/5

Is the description appropriately sized, front-loaded, and free of redundancy?

Front-loaded with the core action, then the post-payment instruction, then the edge case — a logical progression. It is dense and long-ish, but nearly every sentence adds a distinct behavior; only the channel explanation could arguably be tightened.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness4/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

No output schema or annotations exist, yet the description enumerates the return payload and the full interaction lifecycle, so an agent can operate it. The one notable gap is that no amount/currency parameter exists in the schema and the description never explains how the order amount is determined.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters4/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema coverage is 100%, so the baseline is 3; the description goes further by tying orderId and selfReportPaid together into the self-report round-trip and explaining the consequence of each, which clarifies how the params interact rather than just restating them.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose5/5

Does the description clearly state what the tool does and how it differs from similar tools?

Opens with a specific verb+resource ("Create a real payment order") and immediately distinguishes itself from sibling tools like solve/verify by describing the order/key/payment-intent payload it returns. An agent can tell this is the payment-creation entry point without opening the schema.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines5/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

Explicitly prescribes the two-phase flow ("AFTER PAYING: call this tool again with orderId and selfReportPaid:true"), states the alternative when no payment method is configured (use honorPaid:true or contact the operator), and names the channel constraint. When-to-use and fallbacks are all present.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

poly_rootsAInspect

All real roots of a polynomial, each individually certified by Krawczyk with a strict error box. Coefficients are ordered highest degree first, so [1,-2,-5,6] means x^3-2x^2-5x+6. Deterministic and reproducible; complex roots are not returned (real numbers only). Use it as a reliable polynomial root component instead of letting a general language model estimate roots. Free to use: pass honorPaid:true to declare personal or evaluation use.

ParametersJSON Schema
NameRequiredDescriptionDefault
toleranceNoTolerance used to decide a root (optional; internal precision is used by default).
coefficientsYesPolynomial coefficients, highest degree first. [1,-2,-5,6] means x^3-2x^2-5x+6.

TDQS

A3.6/5.0
Behavior4/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

With no annotations, the description carries the full load and does well: it discloses determinism/reproducibility, the Krawczyk certification with strict error boxes, exclusion of complex roots, and the honorPaid licensing declaration. It omits failure behavior for malformed or non-polynomial input and does not explain that honorPaid is not present in the declared input schema, which is a notable gap.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness4/5

Is the description appropriately sized, front-loaded, and free of redundancy?

Front-loaded with the core purpose and scope, then the coefficient-ordering convention and the licensing note. Four sentences with little waste, though the honorPaid sentence is longer than the information warrants.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness3/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

No output schema exists, so the description must cover returns; it explains the certificate and error box but not the shape of the result (list of roots? objects with bounds?). It also never reconciles the honorPaid parameter with a schema that lacks it, leaving the agent unsure how to satisfy the licensing requirement.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters3/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema coverage is 100% and the schema already documents coefficients ordering and tolerance defaults, so the description's repetition of the [1,-2,-5,6] example adds no new meaning. The only novel parameter information is honorPaid, which is not in the schema at all, creating ambiguity rather than usable semantics.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose4/5

Does the description clearly state what the tool does and how it differs from similar tools?

States a specific verb and resource – returning all real roots of a polynomial – plus the scope qualifier that complex roots are excluded and roots are certified by Krawczyk with a strict error box. It does not explicitly compare itself to siblings like solve or verify, so an agent still has to infer the boundary between this and a general solver.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines3/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

It advises use 'instead of letting a general language model estimate roots', which implies when to reach for it, but gives no when-not guidance and never names the sibling solve/verify tools it should be preferred over or combined with. Requirements and prerequisites for input are not stated.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

solveAInspect

Deterministic solver for systems of real equations. This is not a language model: no randomness, and identical input always returns an identical, reproducible result. Use it when you need a verifiable, reproducible numeric answer for algebraic equations or common transcendentals (sin/cos/tan/log/exp/sqrt/abs); it works well as a non-hallucinating math backend for an AI agent. Not suitable for symbolic algebra, closed-form proofs, initial-value ODEs, or mandatory integer equality. INPUT: equations (array of strings containing an equals sign, e.g. ["x^2+y^2=25","x+y=7"]); supported operators + - * / ^ sqrt log sin cos tan exp abs, with in-text domain constraints such as x in [-30,30]; variables (optional, auto-detected, max 6); domain (optional, e.g. {"x":[-30,30]}), defaulting to +/-1e6 per variable. HARD LIMITS: at most 6 variables; 1 to 64 equations and the equation count must be at least the variable count; up to 100KB of equation text per call; output is fixed at 6 decimal places and is not configurable. OUTPUT (JSON): resultType is empty (no real solutions, proven), finite (finite verified solutions) or infinite (infinite solution set, only the recommended nearest-to-origin solution is given); summary; solutions[] with values[] (6-decimal numbers), tier (proven means Krawczyk-certified, otherwise likely or candidate), certified, text; residual and other internals under internals; recommended holds the compact nearest-to-origin structure. truncated=true means the global branch-and-bound did not finish inside the budget; it does not necessarily mean solutions were missed and in most cases every real solution was found; narrow the domain or raise options.budget and retry if you need a completeness guarantee. Errors return error.type (invalid_input or internal_error). If something looks wrong, call give_feedback rather than guessing. The same input always produces the exact same output, so caching and retries are safe. PAYMENT: this endpoint is free to use. Pass honorPaid:true to declare personal or evaluation use and the call is served with no verification and no balance deduction; payment is voluntary and never enforced.

ParametersJSON Schema
NameRequiredDescriptionDefault
domainNoExplicit search domain (optional), e.g. {"x":[-30,30],"y":[-30,30]}. Recommended for near-infinite solution sets or fast-growing functions such as exp or sinh; without it the default +/-1e6 may fail to prune and set truncated.
optionsNoAdvanced options (optional), e.g. {budget:500000, maxDepth:28}
fastModeNoFast mode (default false).
equationsYesArray of equation strings, e.g. ["x^2 + y^2 = 25", "x + y = 7"]. Supports + - * / ^ sqrt log sin cos tan exp abs, plus in-text domain constraints such as x in [-30,30].
honorPaidNoHonor system: set true to declare this call personal or evaluation use. It is released for free with no verification and no balance deduction. Set false only when this runs inside a product, a commercial pipeline or an automated workflow; payment is voluntary and never enforced.
variablesNoVariable names (optional). If omitted they are auto-detected from the equation text, in order of appearance. Maximum 6.

TDQS

A4.4/5.0
Behavior5/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

With no annotations, the description carries full behavioral load and does so richly: determinism/reproducibility, unsuitability cases, hard limits (max 6 variables, 1-64 equations, 100KB, 6-decimal output), output JSON semantics including resultType and truncated, error types, caching safety, and voluntary payment. This is far beyond what structured fields provide.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness4/5

Is the description appropriately sized, front-loaded, and free of redundancy?

Well-structured with capitalized section headers (INPUT, HARD LIMITS, OUTPUT, PAYMENT) and front-loads the core purpose and determinism. It is long, with some repetition (determinism is stated twice), but for a tool with this many constraints each sentence largely earns its place; slightly verbose.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness5/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

Given no output schema and no annotations, the description must cover inputs, limits, outputs, errors, and payment, and it does so comprehensively. The output JSON shape, resultType meanings, and truncated semantics are all explained, so an agent has everything needed to call and interpret the tool.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters3/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema description coverage is 100%, so the baseline is 3. The description restates the equations format, supported operators, variable auto-detection, and domain default, but adds no parameter-level meaning beyond the schema; all parameter details are already fully documented in the schema.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose5/5

Does the description clearly state what the tool does and how it differs from similar tools?

States a specific verb and resource: deterministic solver for systems of real equations. Explicitly distinguishes itself from language models and from symbolic algebra/ODE/integer-equality tasks, so an agent can tell what it is and is not.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines4/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

Explicitly says when to use (verifiable, reproducible numeric answer for algebraic equations or transcendentals) and when not (symbolic algebra, closed-form proofs, initial-value ODEs, mandatory integer equality). Does not name sibling tools like poly_roots or verify as alternatives, so not a 5.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

verifyAInspect

Check whether a claimed answer is correct. Give the equation plus a candidate value (a number for a single variable, {variable:value} pairs, or an array in variable order); the same certified kernel runs in a neighbourhood around the candidate. If a matching certified root is found the result is verified together with the error box; otherwise it is refuted and the nearest certified root is returned, so the calling agent immediately sees the correct value. Deterministic, not an LLM, reproducible across calls. Free to use: pass honorPaid:true to declare personal or evaluation use.

ParametersJSON Schema
NameRequiredDescriptionDefault
equationYesA single equation containing an equals sign, e.g. "x^2 = 4".
candidateYesThe claimed answer: a number (single variable, default variable x), {variable:value} for multiple variables, or an array in variables order.
toleranceNoNeighbourhood radius (optional, default 1e-3) within which a matching certified root is searched.
variablesNoVariable names (required for multiple variables or array candidates), e.g. ["x","y"].

TDQS

A4.3/5.0
Behavior4/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

No annotations exist, so the description carries the full burden, and it does well: it discloses the certified-kernel neighbourhood search, determinism and reproducibility, the refutation branch returning the nearest certified root, and a pricing/usage declaration via honorPaid. It omits failure modes such as malformed equation or non-convergence behaviour.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness4/5

Is the description appropriately sized, front-loaded, and free of redundancy?

The core behaviour and input forms are front-loaded in the first two sentences, and every sentence carries information. It runs slightly long, with the honorPaid pricing clause appended as a trailing sentence that is easy to skim past.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness4/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

For a 4-parameter tool with no annotations and no output schema, the description covers both outcomes (verified with error box vs refuted with nearest certified root) so the agent knows what it will receive. It stops short of describing invalid-input or timeout behaviour, which is a minor gap.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters4/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

Schema description coverage is 100%, so baseline is 3, but the description adds meaning beyond the schema by explaining that the candidate is evaluated within a neighbourhood of the supplied value ('the same certified kernel runs in a neighbourhood around the candidate'), which contextualises what tolerance actually does.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose5/5

Does the description clearly state what the tool does and how it differs from similar tools?

States a specific verb and object ('Check whether a claimed answer is correct') and frames the tool as a verifier of a supplied candidate rather than a solver, which cleanly separates it from siblings solve and poly_roots. An agent can select it without opening the schema.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines4/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

Gives clear context for use: supply an equation plus a candidate value, and the tool certifies or refutes it. It does not explicitly say when not to use it (e.g. use solve/poly_roots when no candidate exists), so routing to alternatives is left to inference.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

Tool Schema Changelog

Recent tool additions, removals, and schema changes observed during successful MCP inspections.

  1. 5 tool updates
    • Changedgive_feedback2 fields changed
      • changedInput schema / properties / context / description
        Previous value: -"可选上下文:触发场景、输入特征等。"New value: +"Optional context: the triggering scenario or input characteristics."
      • changedInput schema / properties / message / description
        Previous value: -"反馈内容:遇到了什么、期望什么、实际得到什么。"New value: +"What you hit, what you expected, and what you actually got."
    • Changedpay4 fields changed
      • changedInput schema / properties / channel / description
        Previous value: -"付款通道:当前固定为 corporate-static(对公静态收款,对公收款);留空即可。"New value: +"Payment channel: currently fixed to corporate-static (corporate bank collection). Leave empty."
      • changedInput schema / properties / orderId / description
        Previous value: -"自助入账用:上一次 pay 返回的订单号(形如 LS-YYYYMMDD-xxxxxx)。"New value: +"For self-reporting: the order id returned by a previous pay call, shaped like LS-YYYYMMDD-xxxxxx."
      • changedInput schema / properties / selfReportNote / description
        Previous value: -"可选:付款备注(如付款人/渠道/时间),仅用于对账留痕,长度上限 200。"New value: +"Optional payment note (payer, channel, time), kept only for reconciliation, up to 200 characters."
      • changedInput schema / properties / selfReportPaid / description
        Previous value: -"自助入账用:付款完成后置 true,声明「本单已付」。服务端不验证、立即按订单面值入账放行(信任制);入账会标注 amountVerified:false / creditedBy:self_report,便于事后与银行流水核对。"New value: +"For self-reporting: set true after paying to declare that this order was paid. The server does not verify and credits the order amount and releases it immediately (honor system); the credit is marked amountVerified:false / creditedBy:self_report so it can be reconciled against bank statements afterwards."
    • Changedpoly_roots2 fields changed
      • changedInput schema / properties / coefficients / description
        Previous value: -"多项式系数,最高次在前。如 [1,-2,-5,6] 对应 x³−2x²−5x+6。"New value: +"Polynomial coefficients, highest degree first. [1,-2,-5,6] means x^3-2x^2-5x+6."
      • changedInput schema / properties / tolerance / description
        Previous value: -"根的判定容差(可选,默认内部精度)"New value: +"Tolerance used to decide a root (optional; internal precision is used by default)."
    • Changedsolve6 fields changed
      • changedInput schema / properties / domain / description
        Previous value: -"显式搜索域(可选)。形如 {\"x\":[-30,30],\"y\":[-30,30]}。对\"有限解·部分\"演示或快增长函数(exp/sinh)建议显式给定,否则默认 ±1e6 可能剪枝失效并触发 truncated。"New value: +"Explicit search domain (optional), e.g. {\"x\":[-30,30],\"y\":[-30,30]}. Recommended for near-infinite solution sets or fast-growing functions such as exp or sinh; without it the default +/-1e6 may fail to prune and set truncated."
      • changedInput schema / properties / equations / description
        Previous value: -"方程字符串数组,如 [\"x^2 + y^2 = 25\", \"x + y = 7\"]。支持 + - * / ^ sqrt log sin cos tan exp abs,以及 in-text 域约束 \"x ∈ [-30,30]\"。"New value: +"Array of equation strings, e.g. [\"x^2 + y^2 = 25\", \"x + y = 7\"]. Supports + - * / ^ sqrt log sin cos tan exp abs, plus in-text domain constraints such as x in [-30,30]."
      • changedInput schema / properties / fastMode / description
        Previous value: -"快速模式(默认 false)"New value: +"Fast mode (default false)."
      • changedInput schema / properties / honorPaid / description
        Previous value: -"信任制:声明本次为「个人/评估用途」即放行(不验证、不扣余额)——不付钱也能用。若结果用于产品/商业/自动化流程,欢迎改走付费通道(GET /pricing 取得订单与 key)支持作者;付费属自愿,本服务不做强制验证。"New value: +"Honor system: set true to declare this call personal or evaluation use. It is released for free with no verification and no balance deduction. Set false only when this runs inside a product, a commercial pipeline or an automated workflow; payment is voluntary and never enforced."
      • changedInput schema / properties / options / description
        Previous value: -"高级选项(可选),如 {budget:500000, maxDepth:28}"New value: +"Advanced options (optional), e.g. {budget:500000, maxDepth:28}"
      • changedInput schema / properties / variables / description
        Previous value: -"变量名数组(可选)。不填则由方程文本自动识别,顺序按出现。最多 6 个。"New value: +"Variable names (optional). If omitted they are auto-detected from the equation text, in order of appearance. Maximum 6."
    • Changedverify4 fields changed
      • changedInput schema / properties / candidate / description
        Previous value: -"声称的答案:数字(单变量,默认变量 x)、{变量:值}(多变量)、或按 variables 顺序的数组。"New value: +"The claimed answer: a number (single variable, default variable x), {variable:value} for multiple variables, or an array in variables order."
      • changedInput schema / properties / equation / description
        Previous value: -"含 \"=\" 的方程,如 \"x^2 = 4\"。"New value: +"A single equation containing an equals sign, e.g. \"x^2 = 4\"."
      • changedInput schema / properties / tolerance / description
        Previous value: -"邻域半径(可选,默认 1e-3),在该邻域内寻找匹配的认证根。"New value: +"Neighbourhood radius (optional, default 1e-3) within which a matching certified root is searched."
      • changedInput schema / properties / variables / description
        Previous value: -"变量名(多变量或数组候选时必填),如 [\"x\",\"y\"]。"New value: +"Variable names (required for multiple variables or array candidates), e.g. [\"x\",\"y\"]."
  2. 5 tool updates
    • First observedgive_feedback
    • First observedpay
    • First observedpoly_roots
    • First observedsolve
    • First observedverify

Related MCP Connectors

Related MCP Servers

  • A
    license
    Not graded
    quality
    A
    maintenance
    Enables mathematical proof exploration and verification over MCP, where each result includes a certificate that can be checked independently without trusting the solver.
    MIT
  • A
    license
    Not graded
    quality
    A
    maintenance
    Evaluate, simplify, and differentiate mathematical expressions via MCP. Provides a single tool for arithmetic, algebra, and symbolic differentiation with secure sandboxing.
    280 npm
    1
    Apache 2.0
  • A
    license
    Not graded
    quality
    A
    maintenance
    MCP server that certifies or refutes the soundness of linear integer guards over declared boxes, returning concrete counterexamples when unsound and honest refusals when the domain is too large.
    Apache 2.0
Try in Browser

Glama MCP Gateway

Add one secure layer between your agents and this server.