Search
Visual Studio Code · rigortype/rigor
1 skill found.
Category:
Skills
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Set up Rigor's bundled language server for live diagnostics, hover, outline, and completion in a developer's editor. | rigortype/ | 106 | — | ~1.4k | Automated safety check: Pass | MPL-2.0 | yesterday |
