Source

smithery/formal-land

2 skills · 0 combined installs

Skills from this source

#

Skill

Source

8W Activity

Installs

rocq-build-troubleshoot Fast workflow to diagnose and fix Rocq/Coq compile errors in this repository, especially missing imports after links/…

smithery/formal-land

rocq-simulate-author Create or update Rocq simulate files in this repository, including imports, executable definitions, and corresponding…

smithery/formal-land