{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_ktmgqwg253xp","handle":"lingshu-solver","url":"https://wellknown.network/agents/lingshu-solver","links":{"self":"https://wellknown.network/agents/lingshu-solver/record.json","html":"https://wellknown.network/agents/lingshu-solver","markdown":"https://wellknown.network/agents/lingshu-solver/record.md","api":"https://wellknown.network/api/v1/agents/lingshu-solver","status":"https://wellknown.network/api/v1/agents/lingshu-solver/status","claim":"https://wellknown.network/agents/lingshu-solver/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/lingshu-solver/claim.json","badge":"https://wellknown.network/agents/lingshu-solver/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/lingshu-solver/history","tools":"https://wellknown.network/api/v1/agents/lingshu-solver/tools"},"ard":{"identifier":"urn:air:hongchenlingjing.com:server:lingshu-solver","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"Lingshu Solver","summary":"Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.","description":"Deterministic MCP solver for real equation systems (<=6 vars), Krawczyk-certified.","publisher":{"name":"genesis-plan","url":null},"homepage":"https://hongchenlingjing.com/","repository":"https://github.com/genesis-plan/lingshu-solver","version":"1.0.22","license":null,"protocols":["mcp"],"tags":[],"pricing":null,"endpoints":[{"url":"https://hongchenlingjing.com/mcp","type":"mcp_streamable_http","auth":null,"probeable":true},{"url":"npm:lingshu-solver","type":"package_npm","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-10-03T15:24:27.512011Z","publishedAt":"2026-10-03T15:24:27.512011Z","registryName":"io.github.genesis-plan/lingshu-solver"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","homepageUrl":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[],"categories":[],"language":"en"},"observed":{"status":"live","statusReason":"Responded 4h ago.","lastOkAt":"2026-10-09T22:27:11.623Z","lastProbedAt":"2026-10-09T22:27:11.623Z","statusComputedAt":"2026-10-09T22:28:56.057Z","reliability30d":{"probes":32,"successRate":1,"p50Ms":260,"basis":"service","measures":{"availability":"availability","latency":"response time","tools":"tool surface observed","summary":"Checks reached the service itself."},"checks":{"total":32,"ok":32,"authBoundaryOk":0,"serviceOk":32,"note":"Counted from the observation rows for the window, checks of the server only (HTTP, A2A card, MCP initialize). ok = authBoundaryOk + serviceOk. `probes` is the sum of daily rollups and includes registry checks, so it can differ from `total`."}},"latestObservations":[{"at":"2026-10-09T22:27:11.623Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":252,"error":null,"detail":{"tools":[{"name":"solve","description":"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 alway"},{"name":"give_feedback","description":"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 on"},{"name":"poly_roots","description":"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-"},{"name":"verify","description":"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 "},{"name":"geometry","description":"Deterministic 1D/2D/3D geometry: distances, intersections, areas, volumes, angles, convex hull, point-in-polygon, rotations. Closed-form (not iterative), exact "},{"name":"pay","description":"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-cal"}],"toolCount":6,"toolsHash":"d73645e21eb1b9cc98951953a6aa32ac1dffb69005a3c71d094c0fcc0fce9b66","serverName":"lingshu-solver","capabilities":["tools"],"serverVersion":"1.0.23","protocolVersion":"2024-11-05"}},{"at":"2026-10-09T15:32:04.955Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":253,"error":null,"detail":{"tools":[{"name":"solve","description":"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 alway"},{"name":"give_feedback","description":"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 on"},{"name":"poly_roots","description":"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-"},{"name":"verify","description":"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 "},{"name":"geometry","description":"Deterministic 1D/2D/3D geometry: distances, intersections, areas, volumes, angles, convex hull, point-in-polygon, rotations. Closed-form (not iterative), exact "},{"name":"pay","description":"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-cal"}],"toolCount":6,"toolsHash":"d73645e21eb1b9cc98951953a6aa32ac1dffb69005a3c71d094c0fcc0fce9b66","serverName":"lingshu-solver","capabilities":["tools"],"serverVersion":"1.0.23","protocolVersion":"2024-11-05"}},{"at":"2026-10-09T08:28:27.008Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":314,"error":null,"detail":{"tools":[{"name":"solve","description":"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 alway"},{"name":"give_feedback","description":"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 on"},{"name":"poly_roots","description":"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-"},{"name":"verify","description":"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 "},{"name":"geometry","description":"Deterministic 1D/2D/3D geometry: distances, intersections, areas, volumes, angles, convex hull, point-in-polygon, rotations. Closed-form (not iterative), exact "},{"name":"pay","description":"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-cal"}],"toolCount":6,"toolsHash":"d73645e21eb1b9cc98951953a6aa32ac1dffb69005a3c71d094c0fcc0fce9b66","serverName":"lingshu-solver","capabilities":["tools"],"serverVersion":"1.0.23","protocolVersion":"2024-11-05"}},{"at":"2026-10-09T02:27:49.413Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":326,"error":null,"detail":{"tools":[{"name":"solve","description":"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 alway"},{"name":"give_feedback","description":"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 on"},{"name":"poly_roots","description":"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-"},{"name":"verify","description":"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 "},{"name":"geometry","description":"Deterministic 1D/2D/3D geometry: distances, intersections, areas, volumes, angles, convex hull, point-in-polygon, rotations. Closed-form (not iterative), exact "},{"name":"pay","description":"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-cal"}],"toolCount":6,"toolsHash":"d73645e21eb1b9cc98951953a6aa32ac1dffb69005a3c71d094c0fcc0fce9b66","serverName":"lingshu-solver","capabilities":["tools"],"serverVersion":"1.0.23","protocolVersion":"2024-11-05"}},{"at":"2026-10-08T20:25:42.236Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":243,"error":null,"detail":{"tools":[{"name":"solve","description":"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 alway"},{"name":"give_feedback","description":"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 on"},{"name":"poly_roots","description":"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-"},{"name":"verify","description":"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 "},{"name":"geometry","description":"Deterministic 1D/2D/3D geometry: distances, intersections, areas, volumes, angles, convex hull, point-in-polygon, rotations. Closed-form (not iterative), exact "},{"name":"pay","description":"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-cal"}],"toolCount":6,"toolsHash":"d73645e21eb1b9cc98951953a6aa32ac1dffb69005a3c71d094c0fcc0fce9b66","serverName":"lingshu-solver","capabilities":["tools"],"serverVersion":"1.0.23","protocolVersion":"2024-11-05"}},{"at":"2026-10-08T14:24:14.126Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":270,"error":null,"detail":{"tools":[{"name":"solve","description":"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 alway"},{"name":"give_feedback","description":"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 on"},{"name":"poly_roots","description":"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-"},{"name":"verify","description":"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 "},{"name":"geometry","description":"Deterministic 1D/2D/3D geometry: distances, intersections, areas, volumes, angles, convex hull, point-in-polygon, rotations. Closed-form (not iterative), exact "},{"name":"pay","description":"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-cal"}],"toolCount":6,"toolsHash":"d73645e21eb1b9cc98951953a6aa32ac1dffb69005a3c71d094c0fcc0fce9b66","serverName":"lingshu-solver","capabilities":["tools"],"serverVersion":"1.0.23","protocolVersion":"2024-11-05"}},{"at":"2026-10-08T08:29:14.880Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":248,"error":null,"detail":{"tools":[{"name":"solve","description":"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 alway"},{"name":"give_feedback","description":"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 on"},{"name":"poly_roots","description":"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-"},{"name":"verify","description":"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 "},{"name":"geometry","description":"Deterministic 1D/2D/3D geometry: distances, intersections, areas, volumes, angles, convex hull, point-in-polygon, rotations. Closed-form (not iterative), exact "},{"name":"pay","description":"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-cal"}],"toolCount":6,"toolsHash":"d73645e21eb1b9cc98951953a6aa32ac1dffb69005a3c71d094c0fcc0fce9b66","serverName":"lingshu-solver","capabilities":["tools"],"serverVersion":"1.0.23","protocolVersion":"2024-11-05"}},{"at":"2026-10-08T01:21:40.685Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":313,"error":null,"detail":{"tools":[{"name":"solve","description":"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 alway"},{"name":"give_feedback","description":"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 on"},{"name":"poly_roots","description":"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-"},{"name":"verify","description":"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 "},{"name":"geometry","description":"Deterministic 1D/2D/3D geometry: distances, intersections, areas, volumes, angles, convex hull, point-in-polygon, rotations. Closed-form (not iterative), exact "},{"name":"pay","description":"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-cal"}],"toolCount":6,"toolsHash":"d73645e21eb1b9cc98951953a6aa32ac1dffb69005a3c71d094c0fcc0fce9b66","serverName":"lingshu-solver","capabilities":["tools"],"serverVersion":"1.0.23","protocolVersion":"2024-11-05"}},{"at":"2026-10-07T18:26:13.488Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":239,"error":null,"detail":{"tools":[{"name":"solve","description":"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 alway"},{"name":"give_feedback","description":"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 on"},{"name":"poly_roots","description":"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-"},{"name":"verify","description":"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 "},{"name":"geometry","description":"Deterministic 1D/2D/3D geometry: distances, intersections, areas, volumes, angles, convex hull, point-in-polygon, rotations. Closed-form (not iterative), exact "},{"name":"pay","description":"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-cal"}],"toolCount":6,"toolsHash":"d73645e21eb1b9cc98951953a6aa32ac1dffb69005a3c71d094c0fcc0fce9b66","serverName":"lingshu-solver","capabilities":["tools"],"serverVersion":"1.0.23","protocolVersion":"2024-11-05"}},{"at":"2026-10-07T12:31:42.250Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":259,"error":null,"detail":{"tools":[{"name":"solve","description":"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 alway"},{"name":"give_feedback","description":"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 on"},{"name":"poly_roots","description":"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-"},{"name":"verify","description":"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 "},{"name":"geometry","description":"Deterministic 1D/2D/3D geometry: distances, intersections, areas, volumes, angles, convex hull, point-in-polygon, rotations. Closed-form (not iterative), exact "},{"name":"pay","description":"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-cal"}],"toolCount":6,"toolsHash":"d73645e21eb1b9cc98951953a6aa32ac1dffb69005a3c71d094c0fcc0fce9b66","serverName":"lingshu-solver","capabilities":["tools"],"serverVersion":"1.0.23","protocolVersion":"2024-11-05"}}],"tools":[{"name":"solve","description":"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 alway"},{"name":"give_feedback","description":"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 on"},{"name":"poly_roots","description":"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-"},{"name":"verify","description":"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 "},{"name":"geometry","description":"Deterministic 1D/2D/3D geometry: distances, intersections, areas, volumes, angles, convex hull, point-in-polygon, rotations. Closed-form (not iterative), exact "},{"name":"pay","description":"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-cal"}],"package":null,"toolSurface":{"id":"ts_4srvsqztcr4u","endpointId":"ep_rdakp2kv565t","hash":"d73645e21eb1b9cc98951953a6aa32ac1dffb69005a3c71d094c0fcc0fce9b66","toolCount":6,"serverName":"lingshu-solver","serverVersion":"1.0.23","protocolVersion":"2024-11-05","firstSeenAt":"2026-10-07T06:30:35.985Z","lastSeenAt":"2026-10-09T22:27:11.690Z","observations":11,"toolNames":["solve","give_feedback","poly_roots","verify","geometry","pay"],"distinctSurfaces":3},"endpointFacts":[{"id":"ep_rdakp2kv565t","url":"https://hongchenlingjing.com/mcp","type":"mcp_streamable_http","factsCheckedAt":"2026-10-07T00:26:57.610Z","auth":{"observedAt":"2026-10-07T00:26:58.416Z","authRequired":false,"scheme":null,"resourceMetadata":null,"authorizationServer":null,"conformance":{"dpop":false,"rfc8414":false,"rfc9728":false,"pkceS256":false,"clientIdMetadataDocument":false,"dynamicClientRegistration":false}},"tls":{"observedAt":"2026-10-07T00:26:58.918Z","protocol":"TLSv1.3","chainValid":true,"chainError":null,"hostMatches":true,"subject":"hongchenlingjing.com","issuer":{"commonName":"YE2","organization":"Let's Encrypt"},"validFrom":"2026-09-01T03:33:03.000Z","validTo":"2026-11-30T03:33:02.000Z","daysToExpiry":51,"sanCount":2,"fingerprint256":"7C:F2:AD:DC:58:F1:13:04:E8:AA:10:B3:A2:43:E9:9A:AB:9D:7E:41:05:77:DE:15:F5:08:83:EE:C8:17:81:FA"}}]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"io.github.genesis-plan/lingshu-solver","url":"https://registry.modelcontextprotocol.io/v0/servers/io.github.genesis-plan%2Flingshu-solver","firstSeenAt":"2026-10-01T19:22:21.024Z","fetchedAt":"2026-10-07T12:21:59.684Z","normalizedAt":"2026-10-07T12:21:59.684Z"}]},"firstSeenAt":"2026-10-01T19:22:21.024Z","updatedAt":"2026-10-09T22:29:43.141Z"}