math-ai-org / mathcode
MathCode: A Frontier Mathematical Coding Agent
Why this job: says: coding agent
What it does
MathCode is a coding assistant for the terminal and browser, with built-in Lean 4 support. It can inspect proof goals, search declarations, check candidates, and verify completed proofs.
Get started
No single install command. Read the steps in the README (opens in new tab)
- Maintenance
- Active
- Last commit 4 days ago
- Stars
- 751
- On GitHub
- Licence
- Apache-2.0
- Allows business use
- Downloads for
- 2 systems
- Mac, Linux
- Latest version
- v0.4.0
- Released 36 days ago
- Built with
- Shell
- 46% of the code
Is it looked after?
- Contributors
- 4
- Last 90 days
- Issues
- 89% closed
- 1 still open
- Pull requests
- 5 merged
- 0 waiting
- Releases
- 2
- 2 in the last year
- No contributing guide
- No security policy
- No code of conduct
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| zai-org / GLM-5 | 7,444 | 25 days ago | Apache-2.0 | No downloads |
| agentforce314 / clawcodex | 926 | yesterday | MIT | No downloads |
| WrongStack / WrongStack | 405 | today | MIT | Mac, Windows, Linux |
More: download files, languages, topics and project record
Download files, v0.4.0
- Mac2 files, 8 downloads
- Linux2 files, 28 downloads
Languages
- Shell 46%
- Python 34%
- HTML 19%
- Lean <1%
Topics
- agent
- ai
- coding
- foundation-models
- llm
- reasoning
Project record
- JobCoding agents
- StatusListed
- Commits36
- Forks69
- Watching9
- Stars in 28 days+5
- CreatedApr 2, 2026
- First seen by usNov 7, 2026
- CheckedNov 7, 2026