Ask your AI assistant for a printable K-12 math worksheet pack and get the PDF on your computer.

Multi-agent mathematical problem-solving & verification frameworks for DeepSeek Harness — FOUR agent presets in one install: vibe-math-v2 (probability-driven, classic: qs.json + Propos knowledge base + explorer→solver→review/debate verdict), vibe-math-v3

Enables MCP clients to teach on a view-only local browser chalkboard by drawing equations, plots, molecules, diagrams, and science illustrations step by step, with snapshots and saved lessons.

Enables AI agents to perform real Wolfram Language computation, create and edit native .nb notebooks and figures, export data, and independently verify results through a stdio MCP interface.

Run sandboxed Python for calculations and PDFs; no other languages, installs or network.

Local-first AI math visualization desktop app: draw, analyze, and explain geometry with GeoGebra, Tauri, React, Bun, and native tool calling.

Composable mathematics tools for agents

Stdio MCP server that prices fixed bids, hires, and flat subscriptions as cost per delivered request.

Enables users to compute symbolic derivatives and integrals, including definite and improper cases, and verify antiderivatives through SymPy-backed MCP tools.

Paideia — a Claude Code plugin that forms exam readiness locally. Stop renting your own learning.

Context-as-image compression proxy for LLMs: renders bulky context (system prompt, tool docs, history) as dense PNG pages with exact per-provider billing math (Anthropic/OpenAI/Gemini). Node and Cloudflare Workers. Part of the OmniRoute family.

Functional programming helpers for Golang using samber/lo — 500+ type-safe generic functions for slices, maps, channels, strings, math, tuples, and concurrency (Map, Filter, Reduce, GroupBy, Chunk, Flatten, Find, Uniq, etc.). Core immutable package (lo), concurrent variants (lo/parallel aka lop), in

BridgeApp workspace over MCP: tasks, chats, threads, pages, and projects.

Converts Markdown to styled HTML with WeChat-compatible themes. Supports code highlighting, math, Mermaid (rendered to PNG via headless Chrome), PlantUML, footnotes, alerts, infographics, and optional bottom citations for external links. Use when user asks for "markdown to html", "convert md to html

VCP visual-synesthesia protocol plugin for DeepSeek Harness: render agent HTML output as real UI (cards / KaTeX math / Mermaid diagrams / built-in calligraphy fonts / zero-JS interactions), plug-and-play on any DSH environment

Run MATLAB® using AI applications with the official MATLAB MCP Server from MathWorks®. This MCP server for MATLAB supports a wide range of coding agents like Claude Code® and Visual Studio® Code.

Enables agents to bring claims, situations, and Scripture passages to five doors (Check, Find, Walk, Word, Keep) and receive a verdict, the worked reasoning trail, cited sources, and a re-checkable content-addressed seal. It covers 77 verifier domains and 880k+ cards fully offline, so answers are found, verified, and sealed rather than generated.

Enables converting natural-language mathematical descriptions into rendered Manim animation videos, returning playable MP4 links and reusable code without requiring local Manim, LaTeX, or ffmpeg installations.

Enables AI tools to access and reason over structured school-management data such as attendance, grades, and occurrences, helping pedagogical coordinators investigate causes and choose timely support actions.

Bolt patterns and wheel specs by vehicle, wheel and tire fitment, spacer and gear ratio maths.

Verified maths exercises for tutors and their students, each answer key right by construction.

Agency capacity math, benchmarks, client context templates and an AI approval checklist.

Reads invoices and receipts from PDF to JSON and checks the math. $0.04/page via x402.

Find and run exact business, finance and SaaS calculators instead of guessing the math.