reasoning-tools
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||
Instructions
Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.
This server publishes no instructions, or was last inspected before Glama recorded them.
Capabilities
Features and capabilities supported by this server
Protocol revision2025-11-25
| Capability | Details |
|---|---|
| tools | {} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| boolean_evaluateA | Systematically evaluate boolean expressions with step-by-step verification |
| date_calculateC | Perform date arithmetic with computational verification |
| object_countC | Systematically count objects by category with verification |
| state_trackB | Track object positions through a series of swaps/moves |
| systematic_verifyC | Apply 6-step systematic reasoning protocol to any problem |
| format_validateC | Validate answer format and convert to expected format |
| helpA | Get comprehensive documentation for all reasoning tools functions |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
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.