MCP server Claude CodeCodexCursor +2
Policy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log. Runs locally from the ssh-mcp npm package. Needs 4 environment variables to run.
Plugin Cursor
Tiered AI code-review: triage -> relevant specialist reviewers -> synthesis. Reviews AI-written code using AI agents.
tufantunc/axiom-advanced-math-mcp
Skill Claude CodeCodex
Use when a task needs mathematics that must be exact rather than estimated — symbolic integration or differentiation, solving equations, factoring, limits, series, matrix algebra, combinatorics, or checking whether a mathematical claim is actually true. Runs a computer algebra system (Giac/Xcas) locally via a CLI, so…
tufantunc/axiom-advanced-math-mcp
MCP server Claude CodeCodexCursor +2
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas. Runs locally from the axiom-math npm package.