"author:morluto" matching MCP servers:

• jacobian

  morluto

  A

  license

  A

  quality

  B

  maintenance

  An MCP server for executable mathematics that enables agents to construct objects, compute invariants, search for witnesses, and verify results with independently checkable evidence.

  Last updated 2026-08-02

  5

  11

  MIT