claude-flow
Verified · 5 days agoAI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.
Axiom — Advanced Math
Verified · 18 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
- 18 days ago
- 2
- 18 days ago
- no
- GPL-3.0
- 67
- 1.0.5
- 2026-08-08
More in ai
browse all →tldraw
Verified · 6 days agoDraw and visually collaborate with your agents on tldraw's canvas.
Codebase Memory
Verified · 30 days agoCodebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.
OpenMetadata
Verified · 24 days agoOfficial OpenMetadata MCP: 21 read and write tools for search, lineage, data quality, governance.
mobilerun
Verified · 8 days agoControl real Android and iOS devices with LLM agents — tap, swipe, type, automate flows.
PraisonAI
Verified · 30 days agoAI Agents Framework with Self Reflection and MCP support