1 #proof-assistant DeepSeek Harness (DSH) Plugins

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

Repositories tagged #proof-assistant, 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