Open Issues Need Help
View All on GitHub help wanted
morluto/jacobian morluto/jacobian Jacobian: an MCP server, CLI, and Python library that gives AI agents a composable toolbox of mathematical capabilities with inspectable artifacts and independent verification.
Open project →
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
help wanted
morluto/jacobian morluto/jacobian Jacobian: an MCP server, CLI, and Python library that gives AI agents a composable toolbox of mathematical capabilities with inspectable artifacts and independent verification.
Open project →
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
enhancement help wanted area: checker
morluto/jacobian morluto/jacobian Jacobian: an MCP server, CLI, and Python library that gives AI agents a composable toolbox of mathematical capabilities with inspectable artifacts and independent verification.
Open project →
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