1 #automated-theorem-proving DeepSeek Harness (DSH) Plugins

Every indexed repository carrying the GitHub topic automated-theorem-proving, sorted by stars. The tag is the author's own word for it — the install verdict on each card is ours.

Repositories tagged #automated-theorem-proving, most-starred first

J

Jacobian

morluto

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

InstallableMCP Server45