Skip to main content
Glama
Ownership verified

Server Details

Precision math engine for AI agents. 203 exact methods. Zero hallucination.

Status
Healthy
Last Tested
Transport
Streamable HTTP
URL
Repository
Arithym-io/arithym
GitHub Stars
0
Server Listing
Arithym

Glama MCP Gateway

Connect through Glama MCP Gateway for full control over tool access and complete visibility into every call.

MCP client
Glama
MCP server

Full call logging

Every tool call is logged with complete inputs and outputs, so you can debug issues and audit what your agents are doing.

Tool access control

Enable or disable individual tools per connector, so you decide what your agents can and cannot do.

Managed credentials

Glama handles OAuth flows, token storage, and automatic rotation, so credentials never expire on your clients.

Usage analytics

See which tools your agents call, how often, and when, so you can understand usage patterns and catch anomalies.

100% free. Your data is private.

Tool Definition Quality

Score is being calculated. Check back soon.

Available Tools

1 tool
ArithymAInspect

Exact precision math engine — 209 methods across 22 domains, all arithmetic as exact fractions with zero floating-point error. Transcendental functions (sin, cos, tan, log, exp) in computational models use IEEE 754 double precision (15 significant digits) with results flagged; special-angle trig remains fully exact via radical lookup. Use the 'tool' parameter to select a subsystem:

compute — Exact arithmetic, factorization, sqrt, trig, unit conversion. Examples: tool="compute" action="factorize" n="360" | action="sqrt" n="7920"

calculate — Multi-step chains with $prev/$label references. Example: tool="calculate" operations=[{values:["a","b"], read:"multiply", label:"result"}]

reference — Knowledge gateway backed by Epithreads (981 curated entries, 2,454 searchable names). 118 chemistry (elements + compounds), 82 unit definitions & conversions, 79 physics constants, 10 math constants. Sources: CODATA 2022, IUPAC 2021, SI definitions. Browse: action='query_entries' domain='unit.conversion' | 'chemistry.elements' | 'physics.constants' | 'math.constants'. Lookup by name/symbol: action='lookup' query='Fe' or query='speed of light'. Also: 209 computation methods via action='guide', discover by keyword via action='discover'. call 209 computation methods (matrix, statistics, chemistry, physics, geometry...), discover by keyword. Examples: tool="reference" action="lookup" query="Fe" | action="guide" module="matrix" method="eigenvalues" args="[[4,1],[2,3]]"

model — Computational graph engine (up to 2,000 nodes, 5-second computation limit). Define models, forward-pass, what-if scenarios, solve for target outputs. Graph ops: add, subtract, multiply, divide, power, gcd, lcm, product, sin, cos, tan, log, exp, abs. Algebraic ops are exact; transcendental ops use IEEE 754 double precision (15 sig figs, flagged in results). For large models (50+ nodes), build incrementally with workspace add/derive across multiple calls. Example: tool="model" action="define" spec={...}

workspace — Persistent named values with dependency tracking and cascade updates. State accumulates across calls — build large models incrementally (up to 2,000 nodes). The resulting graph supports the full model toolchain. Example: tool="workspace" action="add" name="mass" value="120"

analyze — Structural comparison (GCD, LCM, prime similarity), cross-domain verification, prime-space projection. Example: tool="analyze" action="compare" a="360" b="540"

optimize — Exact calculus via reverse-mode autodiff. Derivatives, gradients, Jacobians, integrals, critical points, curve analysis. Requires a model. Example: tool="optimize" action="gradient" output_name="total_cost"

ParametersJSON Schema
NameRequiredDescriptionDefault
aNoFirst operand (compute binary ops, analyze compare)
bNoSecond operand (compute binary ops, analyze compare)
nNoNumber (compute factorize/sqrt, analyze verify)
xNo
yNo
zNo
opNoFraction sub-operation: add/subtract/multiply/divide
argsNoJSON arguments for guide method
dataNoJSON workspace data (import)
metaNoHuman-readable description (add, update)
nameNoValue name (workspace add/update/read/link, reference read_domain)
noteNoNote text
specNoModel spec: {name, inputs:{name:{value,const?}}, graph:[{name,op,from}], outputs:[names]}
stepNo
tagsNoComma-separated tags (add)
tierNoAccess tier: core/verified/community
toolYesSubsystem: compute (arithmetic/trig/units), calculate (multi-step chains), reference (constants/guides/discovery), model (graph engine), workspace (persistent values), analyze (compare/verify), optimize (calculus).
unitNoAngle unit: degrees or radians
constNoMark as constant: true/false
deltaNoPerturbation size (sensitivity: 1/1000, hessian: 1/100000)
limitNoMax results (list_entries, query_entries)
lowerNoLower integration bound
name1NoFirst value (workspace read comparison)
name2NoSecond value (workspace read comparison)
namesNoJSON array of workspace names (derive)
orderNoTaylor expansion order (default: 5)
queryNoSearch term (lookup: name/symbol, discover: keyword, query_entries: substring)
stepsNoSearch steps for critical_points (default: 200)
top_nNoMax query results (default: 10)
unitsNoJSON array of unit strings (unit_check)
upperNoUpper integration bound
valueNoValue as string — integers, fractions (3/4), decimals (9.81)
actionNoOperation within the selected tool. compute: add/subtract/multiply/divide/power/gcd/lcm/factorize/sqrt/trig/fraction/slide/unit_convert/unit_factor/unit_check/domain_check/list_units. reference: help/discover/guide/lookup/list_methods/list_domains/read_domain/recommend/list_entries/query_entries/db_stats/landmarks. model: define/extend/forward/observe/what_if/solve/learn/sensitivity. workspace: create/add/read/derive/update/link/gcd/lcm/lattice/ratios/query/cluster/snapshot/export/import/diff/note/notes/clear_notes. analyze: compare/verify/project/route/sensitivity. optimize: derivative/gradient/jacobian/hessian/taylor/integral/critical_points/tangent/curve_analysis/optimize/learn.
domainNoDomain prefix filter (list_entries, query_entries, landmarks)
inputsNoJSON array of inputs (domain_check)
methodNoMethod within module (guide — e.g. 'determinant', 'molar_mass')
moduleNoDomain module (guide, list_methods — e.g. 'matrix', 'chemistry')
searchNoName substring (query_entries)
sourceNoData provenance (add)
targetNoNote target: value name or 'field'
valuesNoJSON array of values (compute slide, workspace gcd/lcm/lattice/ratios)
degreesNoAngle in degrees (trig)
targetsNoJSON targets: {output_name: target_value} (learn, optimize)
to_unitNoTarget unit (unit_convert/unit_factor)
updatesNoInput updates for forward: {input_name: 'new_value'}
functionNoTrig function: sin/cos/tan/all/asin/acos/atan
new_nameNoName for derived result
sig_figsNoSignificant figures (empty=exact)
store_asNoStore result in workspace with this name
to_valueNoTarget value (route)
wrt_nameNoDifferentiate with respect to
dimensionNoDimension name (list_units)
from_unitNoSource unit (unit_convert/unit_factor)
intervalsNoSimpson's rule intervals (default: 1000)
max_boundNoSearch bound for solve (default: 1000000)
max_stepsNoMax gradient descent iterations (default: 20)
operationNoOperation to check (unit_check, domain_check)
read_modeNoDerive combination: multiply/divide/add/subtract/power/gcd/lcm/sin/cos/tan/log/exp/abs
scenariosNoWhat-if scenarios: [{name:str, updates:{input:value}}]
toleranceNoConvergence tolerance as fraction (e.g. '1/10000')
tool_nameNoTool name for help manual
from_valueNoStarting value (route)
identifierNoAlternate query parameter (lookup)
input_nameNoInput variable (solve, sensitivity)
operationsNoCalculation steps: [{values:[str,str], read:'op', label:'name'}]. Reference previous: $prev, $label_name.
search_maxNoCritical points search max (default: 100)
search_minNoCritical points search min (default: -100)
snapshot_aNoFirst snapshot (diff)
snapshot_bNoSecond snapshot (diff)
descriptionNoNatural language description (recommend)
filter_typeNoQuery filter: tag/domain/dimension/similar/precision
output_nameNoOutput variable (solve, derivative, gradient)
filter_valueNoQuery filter value
output_namesNoJSON array of output names (sensitivity)
target_valueNoDesired output value (solve)
learning_rateNoGradient descent step size (default: 1/10)
max_iterationsNoMax iterations for solve (default: 50)
min_similarityNoClustering threshold (default: 0.5)
snapshot_actionNoSnapshot op: save/restore/list/delete
Behavior4/5

Does the description disclose side effects, auth requirements, rate limits, or destructive behavior?

Annotations provide minimal safety hints (all false), so the description carries significant behavioral burden. It successfully discloses critical traits: exact vs. approximate precision models, IEEE 754 flagging for transcendental functions, 2,000 node limits for models, 5-second computation timeouts, and state accumulation across workspace calls. It does not disclose error handling behaviors or rate limits, preventing a perfect score.

Agents need to know what a tool does to the world before calling it. Descriptions should go beyond structured annotations to explain consequences.

Conciseness4/5

Is the description appropriately sized, front-loaded, and free of redundancy?

The description is lengthy due to the tool's complexity (79 parameters, 7 subsystems), but it is well-structured with clear visual separation between subsystems and consistent example formatting. Every section serves a distinct purpose in explaining a subsystem. It could potentially be more concise, but the density of actionable information justifies the length for this complexity level.

Shorter descriptions cost fewer tokens and are easier for agents to parse. Every sentence should earn its place.

Completeness3/5

Given the tool's complexity, does the description cover enough for an agent to succeed on first attempt?

Given the high complexity (79 parameters, nested objects, no output schema) and lack of return value documentation, the description has a significant gap regarding output formats. While it mentions that transcendental results are 'flagged,' it does not describe the structure of returned exact fractions, JSON models, or workspace states, which is critical information for an agent consuming the results.

Complex tools with many parameters or behaviors need more documentation. Simple tools need less. This dimension scales expectations accordingly.

Parameters4/5

Does the description clarify parameter syntax, constraints, interactions, or defaults beyond what the schema provides?

With 95% schema coverage, the baseline is high, but the description adds substantial value through concrete examples showing parameter interactions (e.g., tool='compute' action='factorize' n='360'). It explains the 'tool' parameter's role as a subsystem selector and clarifies how 'action' values map to specific functionality, adding semantic meaning beyond the schema's mechanical descriptions.

Input schemas describe structure but not intent. Descriptions should explain non-obvious parameter relationships and valid value ranges.

Purpose5/5

Does the description clearly state what the tool does and how it differs from similar tools?

The description clearly identifies the tool as an 'Exact precision math engine' and specifically enumerates the seven subsystems (compute, calculate, reference, model, workspace, analyze, optimize) with distinct purposes. It explains the core value proposition—exact fractions with zero floating-point error versus IEEE 754 for transcendental functions—providing specific scope and capabilities.

Agents choose between tools based on descriptions. A clear purpose with a specific verb and resource helps agents select the right tool.

Usage Guidelines4/5

Does the description explain when to use this tool, when not to, or what alternatives exist?

The description effectively delineates when to use each subsystem via the 'tool' parameter, contrasting 'compute' (single operations) with 'calculate' (multi-step chains) and 'reference' (knowledge lookup). While it provides rich examples for each mode, it lacks explicit 'when not to use' guidance or failure mode warnings that would help an agent avoid incorrect subsystem selection.

Agents often have multiple tools that could apply. Explicit usage guidance like "use X instead of Y when Z" prevents misuse.

Discussions

No comments yet. Be the first to start the discussion!

Try in Browser

Your Connectors

Sign in to create a connector for this server.