VundS Tools Help
/plugin marketplace add bennoloeffler/maude-claude-vunds-plugins
/plugin install vunds-tools@maude-claude-vunds-plugins
Display available VundS tools and their usage.
Available tools in this plugin: