Side-by-side comparison of two Model Context Protocol servers — install paths, tools, quality signals, and directory engagement so you can pick the right one for Claude, Cursor, and other MCP clients.
Airtight math for agents: 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.
Agent-operable ML experiment contract (cq.yaml + JSON contracts) with a built-in MCP server exposing 14 tools (resolve/inspect/run/validate/describe/compare/lineage) for running, validating, and tracing experiments across any framework (PyTorch / HF Trainer / Lightning / sklearn / XGBoost). Apache-2.0.