3 packages found
High-precision calculator MCP server — goes beyond arithmetic to calculus (derivatives, integrals) and equation solving,
Persistent AI memory for Claude Code, OpenClaw, and any MCP-compatible agent. BM25F + vector hybrid, governance-aware, l
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicab