dsh-turn-rewind
@Anionex
DSH - rewind conversation and workspace state, powered by a persistent Change Ledger
jacobian
40 stars
About
Pure mathematics for agents: search for examples and counterexamples, compute exactly, and independently check what a result proves.
Description collected from the plugin's own repository or package metadata.
Topics
ai-agentsautomated-theorem-provingcomputer-algebracordisdshformal-methodsformal-verificationlean4
Similar plugins
flameox
@morluto
Runtime evidence that helps agents trace, profile, and burn down hotspots in application and native code, GPU kernels, and inference stacks.
dsh_workflow
@icetomoyo
Bringing Claude Code's UltraCode mode to DSH, upgrading DSH's one-off multi-agent scheduling into a workflow layer that is generative, saveable, governable, observable, and recoverable.