ide-pluginstools
discover-plt
Automatically discover programming language theory skills when working with compilers. Activates for plt development tasks.
maintainer
rand
Updated 11/25/2025
Stars
55
Forks
7
quick start
Installation and usage
Automatically discover programming language theory skills when working with compilers. Activates for plt development tasks.
Installation
$ install --globalskills.sh
Usage
Once installed, you can use this skill by running the following command in your terminal:
skills use discover-plt