Arithym

Name: Arithym
Author: arithym

Exact arithmetic engine for AI agents. 62 tools across 22 domains — integer math, fractions, calculus, unit conversion, finance, statistics, chemistry, physics, and more. Every result is deterministic and verifiable. No floating-point drift, no hallucinated answers. One tool call replaces multi-step chain-of-thought reasoning. Free tier available at arithym.xyz.

该来源不提供完整文件导出（国内平台多为平台内托管），仅存元数据与原链

模型生成摘要（rules/v1 · 2026-09-27 17:03）：Exact arithmetic engine for AI agents
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。

接入信息

传输形态: http
鉴权方式: 需 API Key（需要配置：apiKey）
端点: https://arithym--arithym.run.tools

该服务需要凭证，请按官方文档申请后替换占位符

{
  "mcpServers": {
    "Arithym": {
      "headers": {
        "Authorization": "Bearer \u003cYOUR_KEY\u003e"
      },
      "url": "https://arithym--arithym.run.tools"
    }
  }
}

能力清单

工具	说明
help	Arithym — precision math engine for AI agents. Eliminates math hallucination.
domain_check	★ CALL THIS FIRST — your computation steering wheel. Exact routing, zero guesswork.
discover	Search all 202 exact-math methods by keyword. Returns matching methods with ready-to-use call syntax.
list_refs	List all 22 reference modules with domain-specific rules, formulas, and pitfalls.
read_ref	Load a reference module's rules, tables, and guidance on demand. Example: read_ref('calculus')
guide_call	Universal dispatcher — call any of 202 exact-math methods across 22 domain modules.
guide_list	List available modules and their methods. No args = all 22 modules. With name = methods in that module.
factorize	Exact prime factorization of any integer. Handles arbitrarily large numbers.
compute	Exact integer arithmetic: add, subtract, multiply, divide, gcd, lcm, power. No floating point.
exact_sqrt	Exact symbolic square root via the computation layer. No decimal approximation.
rational_sqrt	Exact symbolic square root of any rational number (integers, fractions, decimals).
exact_trig	Exact trig for special angles, IEEE 754 for others (clearly flagged).
compare	Compare two integers: exact GCD, LCM, shared factors, and similarity.
verify	Cross-verify an integer's properties: factorization roundtrip, divisor count, consistency checks.
project	Classify a value's mathematical domain and structural properties.
route	Show domain path between two values.
landmarks	List reference values in a domain: integer, rational, radical, trig, complex, or all.
recommend	Describe a problem in natural language, get the optimal tool call. Use when unsure which of the 202 methods to use.
field_create	Create or reset the computation workspace. Only needed when building a persistent model with multiple related values.
field_add	Store a single raw value (urchin) in the workspace. Use for constants, rates, and single inputs.
field_read	Read workspace state or compare two stored urchins (GCD, LCM, ratio, divisibility).
field_gcd	Exact GCD of 3+ values in one call. Takes raw numbers — no workspace needed.
field_lcm	Exact LCM of 3+ values in one call. Takes raw numbers — no workspace needed.
field_lattice	Full divisibility lattice from a set of values. All pairwise GCDs and LCMs.
field_ratios	All pairwise exact ratios for a set of values. For comparing proportions across a dataset.
field_derive	Compute from workspace urchins with tracked dependencies and auto-cascade.
field_update	Update an urchin's value — all dependents auto-recompute through the full dependency graph.
field_sensitivity_all	Compute sensitivity gradients for ALL tunable inputs against all outputs.
field_optimize	Iterative gradient-based optimization on the urchin field.
field_links	View dependency graph between workspace urchins. Shows what derives from what.
field_query	Search workspace by structural properties: dimension, similarity, domain, tag, or all.
field_cluster	Auto-group workspace urchins by similarity. Only useful with 5+ stored urchins.
field_snapshot	Save, restore, list, or delete named workspace states. For branching scenarios and what-if analysis.
field_export	Export workspace + snapshots to JSON. For persisting a model across sessions.
field_import	Import workspace state from a previous JSON export. For resuming work on a saved model.
field_diff	Compare two workspace snapshots. Shows added, removed, and modified urchins.
field_note	Annotate workspace urchins, pairs, or the field itself.
field_notes	Read annotations from the workspace log. Optional filter by target.
field_clear_notes	Clear annotations. No args = all. With target = matching only.
scratch_math	★ SCRATCH PAD — Multi-step exact calculations in one call.
scratch_math_units	scratch_math with dimensional analysis — tracks units through every step.
slide	Exact addition and subtraction for raw values. Use for leaf inputs, not for combining urchins.
fraction_math	Exact fraction arithmetic — add, subtract, multiply, divide.
graph_define	Define a complete computational graph in one call.
graph_observe	Read full computational graph state — all inputs, intermediates, and outputs with values and lineage.
graph_forward	Forward pass: update inputs, cascade through graph, return all outputs.
graph_sensitivity	Compute exact gradients: how much each output changes per unit change in an input.
graph_solve	Inverse solve: find the input value that produces a target output via bisection search.
graph_what_if	Run multiple scenarios against the graph and compare outcomes.
graph_learn	Iterative gradient-based adjustment toward target outputs using exact-fraction gradients.
graph_derivative	Compute exact d(output)/d(input) using reverse-mode automatic differentiation.
graph_gradient	Compute all partial derivatives of an output w.r.t. all tunable inputs in one pass.
graph_jacobian	Full Jacobian matrix: d(output_i)/d(input_j) for all output-input pairs. All entries exact fractions.
graph_hessian	Second derivative d²(output)/d(input)² plus curvature classification (concave up/down/flat).
graph_taylor	Compute exact Taylor series coefficients around current evaluation point.
graph_integral	Exact definite integral using Simpson's rule with exact fraction arithmetic.
graph_critical_points	Find critical points where f'(x) = 0. Classifies each as local min, max, or inflection.
graph_tangent_line	Compute exact tangent line at current evaluation point. Returns slope, intercept, and equation.
graph_curve_analysis	Full calculus analysis at current point: f(a), f'(a), f''(a), tangent line, curvature, and point type.
unit_check	Check dimensional compatibility before computing. Catches mismatches like adding dollars to square feet.
unit_factor	Return the exact conversion factor between two compatible units as a Fraction.
list_units	List available units, optionally filtered by dimension. 35 dimensions supported.

纠错与举报（发现条目失效、署名有误或涉及侵权？）

提交举报 / 纠错

侵权举报经核验成立后，我们会即时下线该条目并删除已存的内容副本。