dshplugin.devDeepSeek Harness Plugins
jacobian plugin logo
DeepSeek Harness Plugin

jacobian

37
Published by morluto

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

Modelsai-agentsautomated-theorem-provingcombinatoricscomputer-algebra

Get this plugin

Review the source, then continue to the publisher.

Get this plugin
Share on X ↗

About this plugin

Source snapshot 8/13/2026

The crawler has indexed the plugin metadata. Repository documentation is queued for the next source refresh.