DSH GetDSH Get
开发与运行时DeepSeek Harness 插件

jacobian

作者 morluto

A universal, atomic library of mathematics and tools for agents to compose them.

GitHub 星标
55
许可证
MIT
收录日期
2026-08-30

GitHub 信息

GitHub 星标
55
许可证
MIT
主要语言
Python
最近推送
2026年8月21日 04:38
维护者
morluto
收录日期
2026-08-30

安装

安装命令
dsh plugin --profile web add github:morluto/jacobian

标签

ai-agentsautomated-theorem-provingcomputer-algebracordisdshdsh-pluginformal-methodsformal-verificationlean4mathmcpmcp-servermodel-context-protocolproof-assistantpythonsmt-solver

README 徽章

将这段 Markdown 添加到插件 README，链接到对应的详情页。

Listed onDSH Get
[![Listed on DSH Get](https://img.shields.io/badge/Listed_on-DSH_Get-1677ff?style=flat-square)](https://dshget.com/plugins/morluto/jacobian)

相关插件

开发与运行时

rea

★ 386

Reverse engineer anything with agents, from app behavior down to native binaries.

开发与运行时morluto

flameox

★ 48

Runtime evidence that helps agents trace, profile, and burn down hotspots in application and native code, GPU kernels, and inference stacks.

开发与运行时morluto

roblox-devforum-mcp

MCP server that searches the Roblox DevForum and official creator docs so AI coding agents can debug Roblox games against real community and engine knowledge.

开发与运行时EL4CTEO