macaulay2-mcpSAFE
MCP server providing a persistent Macaulay2 1.26 session to Claude Code, opencode, LM Studio, and any MCP client
Overview
From the repository's own README, as read at the audited commit. Badges and raw HTML are left out.
Motivation
The goal for the Macaulay2-MCP project is to leverage large-language-models when working with Macaulay2. Especially, it should lower the entry point for newcomers or test a few lines of code. It is still under development; use it at your own risk and share your thoughts with me.
The current version is under testing. This early version is published on GitHub to test other components such as PyPI, LM Studio linking, and Binder.
Philosophy
- Nearly all commands and programs below are non-invasive and reversible.
- The program is not designed to make decisions but inform the users of options.
- At some point, this MCP should work together with Lean-LSP.
- It will be updated on an as-needed basis.
Acknowledgments
The project is largely developed under the author's guidance by Qwen 3.8 models hosted at National Research Platform. Also, the author thanks Dr. Mary Thomas and other leaders at the San Diego Supercomputer Center. The author learned a large portion of the skills used in this project from their CyberInfrastructure Professional Development Training Program.
Introduction
Use Macaulay2 from your AI coding assistant.
macaulay2-mcp is an MCP (Model Context Protocol) server that gives Claude Code, opencode, LM Studio, and any other MCP client a persistent Macaulay2 session: ask your assistant to compute Groebner bases, resolutions, Betti tables, primary decompositions, Hilbert polynomials — and it runs the computations in a real M2 kernel, with state (rings, ideals, your definitions) preserved across calls.
Three notations, one kernel — raw M2 syntax, plain English, LaTeX. Each ask is self-contained (paste any one into a fresh session), and the trailing memory line is genuine output (every m2_evaluate result ends with the kernel's resident/peak):
[ (runs the server, no install) | `brew install uv` | `curl -LsSf https://astral.sh/uv/install.sh \| sh` |
(`curl -LsSf https://astral.sh/uv/install.sh | sh`, installing to
Gates applied: no_behavioural_pass.
50c4b9dd5d4efull audit observations/trust-audit/skill/youngsu-kim__macaulay2-mcp.json · Report an issue / request a re-scanAudit history
Every audit this skill has had.
| Date | Source | Verdict | Grade | Score | Change |
|---|---|---|---|---|---|
| 2026-10-12 | 50c4b9dd5d4e | SAFE | B | 89 | first audit |
Questions
What does the macaulay2-mcp skill do?
MCP server providing a persistent Macaulay2 1.26 session to Claude Code, opencode, LM Studio, and any MCP client
Is macaulay2-mcp safe to install?
The audit found nothing in the source that contradicts what it says it does, and graded it B (89/100). Grade A is held back for packages that have also passed a sandboxed behavioural run, which is why a clean skill reads B.
What can macaulay2-mcp access on my machine?
The audit observed that it reads or writes files. Each of those is consistent with what it says it does. Secrets in the source: none found.
Which assistants does macaulay2-mcp work with?
Its documentation mentions claude-code. That is what the text claims, not a compatibility test we ran.
How current is this page?
The grade is for one exact copy of the source (50c4b9dd5d4e), read on 2026-10-12. The repository is watched, and a new audit runs when it changes — this is the first audit.