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
Uptime
99.9% over 23 days
Last Tested
Transport
Streamable HTTP · MCP 2024-11-05
URL
Repository
genesis-plan/lingshu-solver
GitHub Stars
0
Server Listing
lingshu-solver

TDQS

A3.7/5.0

Scored across 6 tools

Disambiguation4/5

The four math tools (solve, poly_roots, geometry, verify) have largely distinct roles, but poly_roots is essentially a special case of solve, and verify overlaps with solve's built-in trust/certification block, creating some boundary confusion. give_feedback and pay are clearly separate utility tools. Descriptions help disambiguate but a couple of overlaps remain.

Naming Consistency3/5

There is a mixed convention: verbs like solve, verify, pay, and give_feedback sit alongside nouns like geometry and poly_roots. All are snake_case/lowercase so nothing is chaotic, but there is no predictable verb_noun pattern across the set.

Tool Count5/5

Six tools is well-scoped for a deterministic math solver: four core computational tools (solve, poly_roots, geometry, verify) plus two auxiliary tools (give_feedback, pay). No tool feels redundant or gratuitous at the count level.

Completeness4/5

Coverage of the deterministic-math domain is strong: equation systems, certified polynomial roots, extensive geometry ops, and an answer verifier form a coherent workflow. Some gaps remain (complex roots, symbolic derivation, ODEs, integer constraints are explicitly excluded), but these are stated limitations rather than dead ends.

Available Tools

6 tools
geometryAInspect

Deterministic 1D/2D/3D geometry: distances, intersections, areas, volumes, angles, convex hull, point-in-polygon, rotations. Closed-form (not iterative), exact up to floating-point rounding, identical output for identical input. Use it instead of doing geometry yourself. Pass {op, ...args} with op one of: 1D: dist1,midpoint1,divide_point,divide_ratio,harmonic_conjugate,interval_length,interval_midpoint,interval_intersect,interval_union,interval_hull,interval_overlap_length,interval_contains,point_between | 2D: dist2,midpoint2,lerp2,line_from_points,point_line_distance,point_segment_distance,project_point_line,line_intersect,line_intersect_points,segment_intersect,segment_length,angle_3points,angle_vectors,line_angle,triangle_area,triangle_centroid,triangle_incenter,polygon_area,polygon_perimeter,polygon_centroid,point_in_polygon,convex_hull,polygon_is_convex,circle_from_3points,point_circle_position,circle_line_intersect,circle_circle_intersect,circle_measure,sector_area,rotate_point,reflect_point_line,scale_point,parallel_through,perpendicular_through,triangle_circumcenter,triangle_orthocenter,triangle_excenters,triangle_five_centers,euler_line,triangle_nine_point_circle,triangle_euler_inequality,triangle_medians,triangle_altitudes,triangle_bisector_lengths,cevian_concurrent,menelaus_collinear,power_of_point,radical_axis,polar_of_point,pole_of_line,ptolemy,miquel_point,napoleon_triangles,pick_theorem,cocircular_check,minimum_enclosing_circle,circumcircle | 3D: dist3,midpoint3,lerp3,plane_from_3points,point_plane_distance,project_point_plane,reflect_point_plane,coplanar,point_line_distance3,project_point_line3,line_plane_intersect,line_line_relation,plane_plane_intersect,tetra_volume,polygon_area3,face_normal,mesh_volume,sphere_from_4points,sphere_line_intersect,sphere_plane_intersect,sphere_measure,angle_vectors3,angle_line_plane,angle_plane_plane,rotate_axis,cross3,triple_product,tetrahedron_geometry,monge_point | any: distance,midpoint,lerp,norm,normalize,dot,cross,project,reject,translate,centroid,bbox,diameter,stewart_theorem,law_of_cosines,law_of_cosines_sas,law_of_sines,solve_triangle,heron_area,brahmagupta,golden_ratio,regular_polygon,regular_tetrahedron,newton_polytope,tropical_degree_bound,tropical_system_bound,regular_subdivision,bernstein_bound,tropical_bezout_bound,sphere_equation,polynomial_equation. The remaining args are passed flat and depend on op (p, q, a, b, c, d, r, poly, pts, angle, lambda, center, axis, segment, a1,b1,c1,a2,b2,c2, ...). Send an unknown op to receive the full catalog with every signature. READ trust.trustLevel: exact = safe to use directly; definitely_none = computed proof that there is NO intersection, safe to state as a conclusion; degenerate = the INPUT is degenerate (parallel / collinear / coplanar / coincident), do NOT invent a value — report the degeneracy instead.

NameRequiredDescriptionDefault
opYesGeometry operation name. See the tool description for the full list, or send an unknown value to receive the catalog with signatures.

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 the full burden and does so richly: it states the tool is closed-form, deterministic, exact to floating-point rounding, and returns identical output for identical input. It also explains the critical trust.trustLevel field with exact, definitely_none, and degenerate semantics, including what to report for degenerate inputs.

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 description is front-loaded with purpose, determinism, invocation pattern, and trust semantics before the long op catalog. The catalog is unusually long but necessary because the schema does not enumerate op values. It is dense rather than padded, though the length is significant.

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 complex computational tool with no output schema, the description supplies the op catalog, argument convention, and the important trust.trustLevel semantics. It does not fully describe the return shape or error behavior beyond trust, so an agent still has minor gaps about output structure, but the critical invocation and safety context are present.

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

Parameters5/5

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

Although schema coverage is 100%, the schema only defines op as a string. The description goes far beyond it by listing the valid op values grouped by dimension, explaining that remaining args are passed flat and depend on op, and pointing to an unknown-op catalog for full signatures. This is essential parameter semantics not available in the schema.

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?

The description names a specific domain (deterministic 1D/2D/3D geometry) and enumerates concrete operations such as distances, intersections, areas, and hulls, so the tool's purpose is unambiguous. However, it does not distinguish itself from sibling tools like solve or poly_roots, leaving overlap for an agent to infer.

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 explicitly says to use the tool instead of doing geometry manually, and it explains how to invoke it via {op, ...args}. It also provides a routing fallback: sending an unknown op returns the full catalog with signatures. No when-not or sibling-alternative guidance is given, but the core usage context is clear.

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

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.

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.

payBInspect

Optional voluntary-support only. The hosted endpoint is no per-call charge today (metering off) (metering off: no credential required, no call limit, no per-call charge), so no payment is needed at all. This tool records a support contribution of any amount: the channel is a corporate static collection code (UnionPay aggregate QR) settling into a corporate bank account, and no payment-platform merchant API is used. AFTER PAYING: nothing to do — there is no self-crediting step and no waiting for reconciliation; the operator reconciles against the corporate bank statement, and any positive amount counts as support, not a bill. If the server has no payment method configured the order is still created but payIntent.payTo is null; in that case just keep calling the endpoint with no credential at all.

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.
selfReportPaidNoRetired on 2026-10-02 with per-call billing: the endpoint is free, so no credit is created and nothing is released. Kept only for backwards compatibility; it is ignored. Voluntary support is any amount paid straight to the corporate account (payTo / payToQr), reconciled by the operator afterwards.

TDQS

B3.1/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 burden and largely does: it discloses that metering is off, no credential or call limit applies, there is no self-crediting step, no reconciliation wait, the operator reconciles against a corporate bank statement, and that payIntent.payTo can be null. The only gap is that the dense, duplicated parentheticals make the safety/mutation profile harder to extract than it should be.

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

Conciseness2/5

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

The text is front-loaded with a confusing claim that no payment is needed for a tool called 'pay', contains a literal duplication — '(metering off) (metering off: no credential required...)' — and runs long without clear ordering. Several clauses repeat the same 'free / no charge / no credential' idea three or more times.

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?

For a no-annotation, no-output-schema, zero-required-param tool, the description does cover the key behaviors including the null payTo edge case. But the messaging is inconsistent enough (a payment tool that insists no payment is required) that an agent would still be unsure what calling it actually accomplishes, so it is not fully complete.

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 all four parameters are documented in the schema, so the baseline is 3. The description adds a little context (the corporate static channel, the retired selfReportPaid semantics) but mostly restates behavior rather than clarifying how to supply the parameters.

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

Purpose3/5

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

The tool does eventually state a specific action — 'This tool records a support contribution of any amount' — which is a concrete verb+resource and unique among siblings (give_feedback, poly_roots, solve, verify are unrelated). However, the opening sentences ('no payment is needed at all', 'metering off') spend most of their space arguing that the tool named 'pay' is not actually needed, so the core purpose is buried and somewhat self-undermining.

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 indicates the tool is 'optional voluntary-support only' and describes the no-payment-method-configured case, so some usage context is implied. But it names no alternatives and never cleanly states when an agent should call this versus simply calling the endpoint with no credential — it in fact says to 'just keep calling the endpoint with no credential at all', which weakens the case for invoking this tool.

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 Krawczyk-certified with a strict error box. Coefficients are highest degree first: [1,-2,-5,6] means x^3-2x^2-5x+6. Use it instead of letting a language model estimate roots. Complex roots are not returned (real only).

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.8/5.0
Behavior3/5

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

With no annotations, the description carries the full disclosure burden. It usefully discloses the certification method, strict error box, and real-only output, but says nothing about failure modes (no real roots, degenerate input), multiplicity handling, or determinism.

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?

Three tight sentences with the core behavior front-loaded; the coefficient convention and exclusions are placed after the main statement. The 'instead of letting a language model estimate roots' line is slightly promotional but still earns its place as a usage cue.

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?

There is no output schema, so the description must describe the return value; it only implies a list of roots with error boxes and never specifies the structure (e.g., intervals vs. points) or ordering. Adequate for a simple two-param tool, but the return contract is left partly implicit.

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%, so both parameters are already documented, and the description's coefficient-ordering example duplicates the schema text verbatim. The optional tolerance parameter is never mentioned in the description, so no value is added beyond 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 ('All real roots of a polynomial') plus the method guarantee ('Krawczyk-certified with a strict error box'), which an agent can distinguish from generic solvers like solve/verify. It also explicitly bounds scope by excluding complex 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?

Gives a clear when-to-use directive ('Use it instead of letting a language model estimate roots') and states the exclusion (complex roots not returned). It does not contrast against the plausible sibling tools solve or verify, so the routing guidance is incomplete.

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

solveAInspect

Deterministic (non-LLM) solver for systems of real equations. Use it instead of computing the math yourself whenever a wrong number has a cost. Same input always returns the identical result — no hallucination, no randomness, so caching and retries are safe. Supports algebraic equations and common transcendentals (sin/cos/tan/log/exp/sqrt/abs), max 6 variables, no initial guess needed. READ THE trust BLOCK: it tells you, per result, whether the value is safe to use directly or must be verified first. Pass domain explicitly for exp/sin or large ranges, else truncated may be true. Not for symbolic derivation, initial-value ODEs, or integer constraints. Optional: pass honorPaid:true to declare personal or evaluation use — then it is served free with no key, no balance and no deduction; payment is voluntary and never enforced.

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.2/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 well: it discloses determinism (identical result, safe for caching and retries), capability limits (algebraic + listed transcendentals, max 6 variables, no initial guess), a result-safety signal via the trust block, the truncated-result risk and how domain mitigates it, and the honorPaid payment semantics. This is the behavioral context an agent needs before calling.

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 purpose is front-loaded in the first sentence and the dense single paragraph is largely information-bearing rather than filler. It is longer than typical and somewhat run-on, but for a 6-parameter tool with no output schema and no annotations the length is justified.

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 tool with no output schema and no annotations, the description covers limits, determinism, result-safety via the trust block, domain guidance and the payment flag. It is nearly complete; the only real gap is that the actual shape of the returned result (beyond the trust flag) is not described.

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 already 100%, so baseline is 3. The description goes beyond the schema by advising when to supply domain explicitly ('for exp/sin or large ranges, else truncated may be true'), which is operational guidance the schema only hints at. The meaning of honorPaid is also reinforced at a level the schema alone conveys more tersely.

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: a 'Deterministic (non-LLM) solver for systems of real equations', which an agent can immediately place. The exclusions ('Not for symbolic derivation, initial-value ODEs, or integer constraints') help separate it from general math work, but the description never names the obvious sibling poly_roots, so the boundary with that tool is left implicit.

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 a clear positive trigger ('Use it instead of computing the math yourself whenever a wrong number has a cost') and explicit exclusions (symbolic derivation, IVP ODEs, integer constraints). It also points to the trust block and the domain parameter as conditions. It stops short of naming sibling alternatives such as verify or poly_roots, so it is strong context without full routing.

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 actually correct — call this on any number you computed yourself before passing it downstream. verdict=verified means it is a certified real root; verdict=refuted_or_unverified means it is NOT, and nearestCertifiedRoot then carries the correct value so you can self-correct in the same turn. Deterministic and reproducible.

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.1/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 burden, and it delivers: it names the verdict values (verified / refuted_or_unverified), explains what they mean, and exposes the self-correction field (nearestCertifiedRoot) and determinism. It does not describe tolerance behavior or any failure/error modes, which keeps it below a 5.

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?

One tight paragraph, front-loaded with the core action and followed by the outcome semantics an agent needs. Sentences are long but every clause (verdict meanings, nearestCertifiedRoot, determinism) earns its place; no filler.

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?

There is no output schema, so the description must explain return values, and it does explain verdict and nearestCertifiedRoot. Combined with 100% schema coverage on inputs, an agent has what it needs to call and interpret the tool, though tolerance semantics remain unexplained.

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 every parameter including tolerance and variables is already documented in the schema. The description reinforces the 'claimed answer' intent but adds no format or syntax detail beyond what the schema provides. Baseline 3 applies.

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 ('Check whether a claimed answer is actually correct') in the first clause, and contrasts with the solving siblings (solve, poly_roots) by framing it as verification rather than computation. An agent can distinguish it from any sibling without opening a 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 explicit when-to-use guidance: 'call this on any number you computed yourself before passing it downstream.' That is a clear trigger condition. It does not name or exclude the alternative siblings (solve, poly_roots), so it stops short of full routing guidance.

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. 1 tool update
    • Addedgeometry
  2. 1 tool update
    • Changedpay1 field changed
      • changedInput schema / properties / selfReportPaid / description
        Previous 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."New value: +"Retired on 2026-10-02 with per-call billing: the endpoint is free, so no credit is created and nothing is released. Kept only for backwards compatibility; it is ignored. Voluntary support is any amount paid straight to the corporate account (payTo / payToQr), reconciled by the operator afterwards."
  3. 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\"]."
  4. 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.
    952 PyPI
    1
    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.
    136 npm
    2
    Apache 2.0
  • A
    license
    Not graded
    quality
    B
    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.