lingshu-solver
Related Servers
Alternatives to lingshu-solver
No user-submitted related servers found.
Related Servers
- AlicenseNot gradedqualityCmaintenanceProvides deterministic tools for symbolic math, equation solving, relation verification, reasoning structure audits, and validated CAD primitives, returning evidence artifacts for every result.MIT
- AlicenseAqualityBmaintenanceEnables reliable engineering and scientific computation through tools for exact arithmetic, unit-aware formulas, calculus, linear algebra, statistics, uncertainty propagation, and physical constants, all executed safely in reproducible subprocesses.8MIT
- AlicenseAqualityCmaintenanceProvides 21 mathematical tools across 6 domains including basic calculations, array operations, statistics, financial mathematics, linear algebra, and calculus. Supports batch execution for complex multi-step workflows with intelligent dependency resolution.216MIT
- AlicenseBqualityAmaintenanceProvides secure mathematical computation capabilities including expression evaluation, symbolic math (derivatives, simplification), matrix operations, statistics, and unit conversion, with multi-tier acceleration through WebAssembly and WebWorkers for high-performance calculations.771 npmISC
- AlicenseAqualityBmaintenanceProvides LLMs with deterministic math tools for sandboxed expression evaluation, descriptive statistics, primality testing, prime factorization, GCD/LCM, quadratic solving, and base conversion. Every operation runs real code rather than relying on the model's arithmetic, with expression parsing restricted to a whitelist of operators, constants, and functions.21MIT
- FlicenseNot gradedqualityCmaintenanceProvides exact arithmetic and verification tools using SymPy and fractions to solve math competition problems precisely. It enables users to perform rigorous calculations and export notebook-ready Python code for further analysis.-
TDQS
Scored across 2 tools
The two tools have completely distinct purposes: one solves equations, the other collects user feedback. There is no overlap or ambiguity between them.
Both names are lowercase and verb-based, but 'solve' is a single verb while 'give_feedback' follows a verb_noun pattern. The naming is clear and predictable, with only a minor structural inconsistency.
With only two tools, the server feels minimal but not unreasonable for a highly specialized solver. The single core tool plus a feedback auxiliary is borderline thin, though it fits the narrow domain.
The solve tool covers the full equation-solving workflow with detailed input handling, output certification, and error reporting. No obvious gaps exist for the stated purpose of providing reproducible real solutions.