Skip to main content
Glama
Ownership verified

Server Details

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

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

See and control every tool call

Log every tool call with full inputs and outputs
Control which tools are enabled per connector
Manage credentials once, use from any MCP client
Monitor uptime and get alerted when servers go down

Available Tools

1 tool
ArithymInspect

Exact precision math engine — 209 methods across 22 domains, all arithmetic as exact fractions with zero floating-point error. 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 (289 curated entries, 989 searchable aliases, 407 exact values). 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). 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. 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

Verify Ownership

This connector has been claimed. The /.well-known/glama.json file has been verified and ownership is confirmed.

Glama periodically re-verifies ownership. If the file is removed, the claim will be revoked.

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.