The LLM interprets intent; the MathKernel establishes mathematical evidence.
mathkernel is an MCP project maintained in the staatsgeheim/mathkernel repository. The maintainer describes its purpose as “The LLM interprets intent; the MathKernel establishes mathematical evidence”. Read the project documentation for the complete scope.
Project documentation · Repository · Discovery listing. This profile records the public documentation checked on 2026-10-08.
Check the linked publisher documentation and your connected client's tool list. Names and availability can vary with the server version and account permissions.
| Tool | What it does |
|---|---|
| Group | Tools |
| Discovery | math_capabilities, math_capability_query, math_result_resource_get |
| Parsing | math_parse, math_parse_latex, math_get, math_substitute, math_infer_structure |
| Algebra | math_simplify, math_solve, math_solve_system |
| Calculus | math_differentiate, math_integrate, math_limit, math_series, math_summation, math_product |
| Numeric | math_numeric_evaluate, math_interval_evaluate |
| Matrices | math_matrix_create, math_matrix_get, math_matrix_det, math_matrix_inverse, math_matrix_transpose, math_matrix_multiply, math_matrix_rank, math_matrix_rref… |
| Context | math_context_create, math_context_infer, math_context_check |
| Reasoning | math_analyze, math_plan, math_plan_get, math_execute_plan, math_reason, math_execution_get, math_prove_equivalence, math_counterexample |
| Codegen | math_codegen, math_verify_code, math_execute_code |
| Integers | math_integer_analyze, math_integer_compute, math_integer_batch |
| Sweeps | math_collatz_sieve, math_cuboid_sweep |
| Jobs | math_job_submit, math_job_status, math_job_result, math_job_list |
| Transforms | math_fwht |
| Visualization | math_visualize, math_visualize_dag, math_render_koopman, math_visualize_projection, math_export_artifact |
| Sonification | math_sonify, math_sonify_compare, math_sonification_describe, math_sonify_projection, math_export_audio |
| Polynomials | math_poly_groebner, math_poly_divide, math_poly_resultant, math_poly_discriminant, math_poly_factor, math_ideal_membership, math_poly_groebner_batch |
| Probability | math_prob_rv_create, math_prob_expectation, math_prob_variance, math_prob_covariance, math_prob_bayes, math_prob_markov_stationary… |
| Statistics | math_stats_moments, math_stats_order, math_stats_regression, math_stats_correlation, math_stats_ttest, math_stats_chi2, math_stats_confidence_interval… |
| Tensors | math_tensor_create, math_tensor_get, math_tensor_contract, math_tensor_solve |
| Numerics | math_root_find, math_root_scan, math_quadrature, math_sampled_quadrature |
| Optimization | math_optimize_critical_points, math_optimize_kkt, math_lp_solve, math_optimize_minimize, math_optimize_multistart |
| Units | math_unit_check, math_unit_convert, math_unit_simplify |
| Assurance | math_store_status, math_replay, math_fuzz_differential, math_certified_enclose |
| Proving | math_prove, math_prove_batch, math_prove_replay |
| Provenance | math_derivation_get, math_derivation_trace |
Implements a minimalistic MCP server using a bash script for basic mathematical operations.
Provides advanced mathematical and financial calculation tools for AI code assistant integration.
This repository provides local Python MCP examples for arithmetic, DuckDuckGo search and page retrieval, alongside a Groq-powered host.
Free US cleaning cost, time, crew, and chemical-use calculators with visual reports.
A Model Context Protocol server
Free, deterministic 530A (Trump Account) projections, verified rules, and searchable guides.