1 #formal-verification DeepSeek Harness (DSH) Plugins

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

Repositories tagged #formal-verification, 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