reasoning-tools
Related Servers
Alternatives to reasoning-tools
No user-submitted related servers found.
Related Servers
- AlicenseNot gradedqualityAmaintenanceProvides exact, deterministic tools for math, dates, units, validation, and more to AI agents, returning precise answers with explicit assumptions and warnings instead of model guesses.MIT
- AlicenseBqualityBmaintenanceEnables AI agents to perform accurate local computations including arbitrary-precision math, date handling, unit conversion, subnet calculations, encoding, hashing, and text analysis, all without network calls or API keys.27736 npmMIT
- FlicenseBqualityCmaintenanceEnables AI agents to perform 22 unit conversions and common calculations such as length, weight, temperature, volume, tip, percentage, date difference, age, currency, cooking, and fuel consumption.14-

TinyFn MCP Serverofficial
AlicenseNot gradedqualityCmaintenanceProvides over 500 deterministic tools for math, conversions, validation, hashing, and more, enabling AI agents to perform accurate calculations and data transformations without hallucination.1MIT- AlicenseNot gradedqualityDmaintenanceProvides a suite of deterministic tools for time calculations, math, and string manipulation that LLMs often struggle to perform accurately. It also includes utilities for secure randomness, data validation, and basic network operations like DNS lookups.5 npmMIT
- AlicenseNot gradedqualityDmaintenanceProvides deterministic, verifiable text/code/measurement utilities for AI agents, enabling tasks like unit conversion, citation formatting, diffing, proofreading, readability scoring, and syntax checking with re-executable proof.MIT
TDQS
Scored across 7 tools
Each tool has a distinct purpose with clear descriptions: boolean_evaluate for boolean expressions, date_calculate for dates, object_count for counting, state_track for tracking moves, systematic_verify for general verification, and format_validate for formatting. The only potential overlap is systematic_verify being general-purpose, but it is clearly distinct from the specialized tools.
Most tool names follow an object_verb pattern (boolean_evaluate, date_calculate, object_count, state_track, format_validate), but systematic_verify uses adjective_verb and help is a standalone verb. This inconsistency makes the naming convention less predictable.
Seven tools is well within the typical 3-15 range for a focused utility server. Each tool covers a distinct reasoning task, and the count feels neither sparse nor bloated.
The toolset covers several common reasoning tasks (boolean, dates, counting, state tracking, verification, and formatting). The inclusion of systematic_verify and format_validate provides general-purpose coverage that can adapt to other problems, mitigating the need for more specialized tools. Minor gaps exist (e.g., no sequence prediction or arithmetic beyond dates), but they are not critical for the stated purpose.