Jacobian
未认领A universal, atomic library of mathematics and tools for agents to compose them.
ai-agentsautomated-theorem-provingcomputer-algebracordisdshdsh-pluginformal-methodsformal-verificationlean4mathmcpmcp-servermodel-context-protocolproof-assistantpythonsmt-solversymbolic-mathsympytheorem-provingz3
安装
$
npx jacobian setup