REA
Verified · 21 days agoReverse engineer anything from your terminal or agent with one CLI and MCP server.
Axiom — Advanced Math
Verified · 23 days agoExact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
Install
claude mcp add axiom-math -- npx -y [email protected]
Our take
Adds exact symbolic math capabilities, including algebra, calculus, matrices, and claim checking via Giac/Xcas. It is for technical users who need more reliable formal math than a plain language model can usually provide. The scope is well defined and potentially useful, but the listing looks new, so reliability will depend on how well the wrapper exposes and constrains the underlying computer algebra system.
Verification record
- 23 days ago
- 3
- 34 days ago
- no
- GPL-3.0
- 1.0.5
- 2026-08-08
More in ai
browse all →claude-flow
Verified · 2 mo agoAI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.
tldraw
Verified · 2 mo agoDraw and visually collaborate with your agents on tldraw's canvas.
Codebase Memory
Verified · 41 days agoCodebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.
Spree Commerce: open-source B2B and marketplace ecommerce
Verified · 7 days agoOpen-source B2B and marketplace ecommerce; new stores include an MCP server for AI agents.
OpenMetadata
Verified · 33 days agoOfficial OpenMetadata MCP: 21 read and write tools for search, lineage, data quality, governance.