Run any Skill in Manus
with one click
with one click
Run any Skill in Manus with one click
Get StartedGitHub repository
rocq-of-rust
rocq-of-rust contains 2 collected skills from formal-land, with repository-level occupation coverage and site-owned skill detail pages.
skills collected
2
Stars
1.1k
updated
2026-02-08
Forks
44
Occupation coverage
1 occupation categories · 100% classified
repository explorer
Skills in this repository
creator/repo/skill
skill
occupation
description
updated
rocq-simulate-author
software-developers
Create or update Rocq simulate files in this repository, including imports, executable definitions, and corresponding _eq lemmas with the project’s proof/admission conventions.
2026-02-08
rocq-build-troubleshoot
software-developers
Fast workflow to diagnose and fix Rocq/Coq compile errors in this repository, especially missing imports after links/simulate splits and per-file compile checks.
2026-02-08