We count page visits with Google Analytics to see which pages are read. Nothing is stored until you accept, and we never store search queries. Privacy.
Every change Wellknown observed on this MCP server, newest first, with what it was before and what it became. Tool-surface changes carry the definition diff. Nothing here is edited after the fact.
Added "geometry"; changed the definition of "poly_roots", "solve" and "verify" (5 tools before, 6 now)
poly_rootschanged
description
All real roots of a polynomial, each individually certified by KrawczykKrawczyk-certified 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:trueComplextorootsdeclarearepersonalnotorreturnedevaluation(realuse.only).
53 words differ · removed · added
solvechanged
description
Deterministic (non-LLM) 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 wellinsteadasofacomputingnon-hallucinatingthe math backend for an AI agent. Not suitable for symbolic algebra,yourselfclosed-formwheneverproofs,ainitial-valuewrongODEs,numberorhasmandatory
verifychanged
description
Check whether a claimed answer is correct. Give theactuallyequationcorrectplus—acallcandidatethisvalueon(aany number for a single variable, {variable:value} pairs, or an array in variable order); the sameyoucertifiedcomputedkernelyourselfrunsbeforeinpassingait
geometryadded
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,p…
supported operators + - * / ^ sqrt log sin cos tan exp
so
abs,
caching
with
and
in-text
retries
domain
are
constraints
safe.
such
Supports
as
algebraic
x
equations
in
and
[-30,30];
common
variables
transcendentals
(
optional, auto-detected
sin/cos/tan/log/exp/sqrt/abs)
, max 6
);
domain (optional, e.g. {"x":[-30,30]})
variables
,
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
no
places
initial
and
guess
is
needed.
not
READ
configurable.
THE
OUTPUT
trust
(JSON)
BLOCK
:
resultType is empty (no real
it
solutions,
tells
proven)
you
,
finite (finite verified solutions) or infinite (infinite solution
per
set
result
,
only
whether
the
recommended nearest-to-origin solution
value
is
given); summary; solutions[] with values[] (6-decimal numbers), tier (proven means
safe
Krawczyk-certified,
to
otherwise
use
likely
directly
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
must
was
be
found;
verified
narrow
first.
the
Pass
domain
or raise options.budget and retry if you need a completeness guarantee. Errors return
explicitly
error.type
for
(invalid_input
exp/sin
or
internal_error). If something looks
large
wrong
ranges
,
call give_feedback rather than guessing. The
else
same
truncated
input
may
always
be
produces
true.
the
Not
exact
for
same
symbolic
output
derivation
,
so caching
initial-value
and
ODEs,
retries
or
are
integer
safe.
constraints.
PAYMENT
Optional
:
this endpoint is free to use. Pass
pass
honorPaid:true to declare personal or evaluation use
and
—
the
then
call
it
is served
free
with no
verification and
key,
no balance
and no
deduction; payment is voluntary and never enforced.
440 words differ · removed · added
neighbourhood
downstream.
around
verdict=verified
the
means
candidate.
it
If
is
a
matching
certified
root is found the result is verified together with the
real
error
root;
box;
verdict=refuted_or_unverified
otherwise
means
it is
refuted
NOT,
and
the
nearestCertifiedRoot
nearest
then
certified
carries
root
the
is
correct
returned,
value
so
the calling
you
agent
can
immediately
self-correct
sees
in
the
correct
same
value.
turn.
Deterministic
,
not an LLM, reproducible across calls. Free to use: pass honorPaid:true to declare personal or evaluation
and
use.
reproducible.
131 words differ · removed · added
today
the
(metering
order
off)
id
(metering off: no credential required
,
a
no
dedicated
call
key
limit
,
and
no
a
per-call
structured
charge),
so no
payment
intent.
is
The
needed
payment
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;
account,
and
no payment-platform merchant API is used. AFTER PAYING:
call this
nothing
tool
to
again
do
with
—
orderId
there
and
is
selfReportPaid:true
no
and
self-crediting
the
step
order
and
is
no
credited
waiting
and
for
released
reconciliation;
immediately,
the
with
operator
no
reconciles
manual
against
check
the
and
corporate
no
bank
waiting
statement,
for
and
reconciliation,
any
because
positive
this
amount
service
counts
runs
as
on
support,
an
not
honor
a
system.
bill.
If the server has no payment method configured the order is still created but payIntent.payTo is null;
use
in
honorPaid:true
that
or
case
contact
just
keep calling
the
operator
endpoint
instead.
with no credential at all.
165 words differ · removed · added
inputSchema
⟨52 unchanged words⟩ :"string"},"selfReportPaid":{"description":"For self-reporting:Retiredsetontrue2026-10-02afterwithpayingper-calltobilling:declarethethatendpointthisisorderfree,wassopaid.noThecreditserverisdoescreatednotandverifynothingandiscreditsreleased.theKeptorderonlyamountforandbackwardsreleasescompatibility; it immediately (honorissystem);ignored.theVoluntarycreditsupport is markedanyamountVerified:falseamount/paidcreditedBy:self_reportstraightsotoitthecancorporatebeaccount(payTo / payToQr), reconciled againstbybankthestatementsoperator afterwards.","type":"boolean"}},"required ⟨2 unchanged words⟩
96 words differ · removed · added
solvechanged
description
⟨314 unchanged words⟩ no balance deduction; payment is voluntary and never enforced.【计费·仅托管远程端点】本端点每次 solve 收费 1 分钱（¥0.01/次），需在请求头携带 Authorization: Bearer <key>；尚无凭证时请先 GET /pricing 查看价格与付款方式（无需注册账号，凭证即身份）。信任制：solve 入参传 honorPaid:true 即声明「个人/评估用途」并直接放行（不验证、不扣余额）——不付钱也能用，付费属自愿。若结果用于产品/商业/自动化流程，欢迎走付费通道（GET /pricing 取得订单，通过对公账户付款支持作者）；不付也照常能用，本服务不做强制验证。托管端点收款走公司「对公静态收款」，不接任何支付平台商户 API：下单 → 对公转账备注订单号 → **付款后自助入账**（再调 pay 传 orderId + selfReportPaid:true 即立即放行，零人工；按 ¥0.01/次）。自助入账不做验证（信任制）：同一道门的 honorPaid 本来就免费 ⇒ 声明已付不会造成额外损失，只是让诚实付款的人不必等对账。本地版（npx -y lingshu-solver）与网页版永久免费、无次数限制、离线不外传 —— 若不便付费请直接用它们。免费调用：initialize / tools/list / give_feedback / GET /credit。enforced.