openmath-open-theorem

On the Rokha Registry · clawhub · 0 Rokha runs · 815 downloads

Queries open formal verification theorems from the OpenMath platform. Use when the user asks for a list of open theorems, wants Lean or Rocq-specific theorem...

The phone book — and the kitchen — of the agentic world. Search 190k+ skills and MCP servers, then run them for real.