插件详情

jacobian

作者：morluto

Pure mathematics for agents: search for examples and counterexamples, compute exactly, and independently check what a result proves.

40 Fork 5 Python MIT
#ai-agents#automated-theorem-proving#computer-algebra#cordis#dsh#dsh-plugin#formal-methods#formal-verification#lean4#math#mcp#mcp-server#model-context-protocol#proof-assistant#python#smt-solver
dsh plugin --profile web add git+https://github.com/morluto/jacobian.git
打开 GitHub 仓库
Issues Releases

安装统计预估

基于 Fork 数与星标的经验公式推算，仅供参考

5Fork 数
18预估安装
8.0星/Fork 比
低活跃度

同类插件

C
colleague-skill
titanwings · ★ 21683
O
OpenBiliClaw
whiteguo233 · ★ 2213
M
mobius
nutshellai-tech · ★ 939
C
coding-tools-mcp
xyTom · ★ 753

数据来自 GitHub topic dsh-plugin。 返回插件目录 · 回到概览