morluto/jacobian

[Design]: Add durable Lean proof-state and trust inspection contracts about 9 hours ago

help wanted

11

Jacobian: an MCP server, CLI, and Python library that gives AI agents a composable toolbox of mathematical capabilities with inspectable artifacts and independent verification.

Python

#ai-agents#automated-theorem-proving#combinatorics#computer-algebra#conjecture#constraint-solving#coq#formal-methods#formal-verification#graph-theory#isabelle#jacobian#lean4#mcp#mcp-server#proof-assistant#smt-solver#sympy#theorem-proving#z3

[Design]: Define a typed proof and logical-claim intermediate representation about 9 hours ago

help wanted

morluto/jacobian

11

Jacobian: an MCP server, CLI, and Python library that gives AI agents a composable toolbox of mathematical capabilities with inspectable artifacts and independent verification.

Python

#ai-agents#automated-theorem-proving#combinatorics#computer-algebra#conjecture#constraint-solving#coq#formal-methods#formal-verification#graph-theory#isabelle#jacobian#lean4#mcp#mcp-server#proof-assistant#smt-solver#sympy#theorem-proving#z3

[Design]: Select a verified backend for stable LRAT certificate replay about 9 hours ago

enhancement help wanted area: checker

morluto/jacobian

11

Jacobian: an MCP server, CLI, and Python library that gives AI agents a composable toolbox of mathematical capabilities with inspectable artifacts and independent verification.

Python

#ai-agents#automated-theorem-proving#combinatorics#computer-algebra#conjecture#constraint-solving#coq#formal-methods#formal-verification#graph-theory#isabelle#jacobian#lean4#mcp#mcp-server#proof-assistant#smt-solver#sympy#theorem-proving#z3

Open Issues Need Help