DSH GetDSH Get
Development & RuntimeDeepSeek Harness plugin

jacobian

Author morluto

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

GitHub stars
55
License
MIT
Added
2026-08-30

GitHub info

GitHub stars
55
License
MIT
Primary language
Python
Last push
Aug 21, 2026, 4:38 AM
Maintainer
morluto
Added
2026-08-30

Install

Install command
dsh plugin --profile web add github:morluto/jacobian

Tags

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

README badge

Add this Markdown to your plugin README to link back to its listing.

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)

Related plugins

Development & Runtime

rea

★ 386

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

Development & Runtimemorluto

flameox

★ 48

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

Development & Runtimemorluto

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.

Development & RuntimeEL4CTEO