What's new in v1.4.0
Since v1.3.0:
- MCP ToolAnnotations on every tool — all 12 tools now declare behaviour hints (
readOnlyHint/idempotentHint/openWorldHint/destructiveHint) on both the FastMCP and the dependency-free fallback server. Clients can auto-approve the 10 read-only tools and gate the two state-mutating ones (add_finding,funsearch). Annotations degrade gracefully on older SDKs. - funsearch OS-level sandbox — replaced the socket monkey-patch with a real OS-level sandbox for the program-search harness.
- Corrected Zenodo concept DOI.
Install: claude mcp add mathlas -- uvx mathlas-mcp · PyPI: https://pypi.org/project/mathlas-mcp/1.4.0/