Specification & Readme
Public GitHub repository with 14,367 community stars. No known critical vulnerabilities reported. Source code is open and auditable.
Review source code on GitHub →Frequently Asked Questions
What is math?
Is math free to use?
How do I install math?
What programming language is math written in?
What is a AI Agents?
Is math safe to use?
Related AI Agents Repos
View all AI Agents →laya
Non-autoregressive System 1 decision engine. Typed choice, score and yes/no decisions over any text in a single forward pass, in 100+ languages, with a router that picks the right checkpoint per request.
jev-ultrafast
Fastest and cheapest web agent
wordcraft
An open-source, clean-room reimplementation of Microsoft Word in pure Rust
anatomy
An agent skill for creating detailed, interactive isometric illustrations of real-world machines and complex systems. Generates polished SVGs with optional WebGL shaders and 3D effects.
ZCode
Z.ai's coding agent harness. Powerful, intelligent, extensible.
jev-chat-jarvis
装在手机上的对话副驾:在 QQ / X / 飞书里读懂对方、给出候选回复、一键填入输入框,发不发由你。非侵入,只读屏幕,不 hook 不改包。
Developers Also Liked
laya-mlx
Native MLX runtime for Laya typed decision models — 7–14 ms short decisions on M3 Max. No text generation, PyTorch, or cloud API.
AIHOT
一个自己找热点、自己写日报的网站框架。把信源和精选标准换成你的,它就是你的行业热点站。
universal-modder
Point Claude at any game. Skills, tools and the fal MCP that let Claude Code mod almost any PC game you own: recon, reverse engineering, fal-generated art/3D/audio, in-game testing, showcase videos.
coucou
A tiny friend that lives in your notch (macOS) or at the top of your screen (Windows, Linux) and keeps an eye on your coding agents: Claude Code, Codex, Cursor, Gemini CLI, Antigravity and more.
Strata
Qwen3.8-Flash-Next on any consumer hardware: one-click install for Windows / Linux. Strata inference engine, OpenAI/Anthropic API on localhost, optional image input.
magpie
Every agent's model. One place. Codex on DeepSeek, Claude Code on Kimi, from the menu bar.
answer-me-with-html
Answer me with HTML — an agent skill that answers hard questions with a one-page HTML you can actually read. 让 AI Agent 用一页 HTML 回答复杂问题。
AI Quick Reference
| Tool Type | AI Agents |
| Package ID | openai-math |
| Language | Lean |
| GitHub Stars | 14,367 |
| Status | Open Source |
Repository Stats
Vetting Checklist
- Clean execution parameters
- Vetted security dependencies
- No env variable leakages