skills.rest
ponylangponylangOfficial·5 Agent Skills Included

ponyc

AI-guided maintenance for the Pony compiler, LLVM, and CI

Guides AI agents through maintaining the Pony programming language compiler and its toolchain. Covers LLVM upgrades, adding Linux release targets, and spinning up FreeBSD, OpenBSD, and DragonFly test VMs. Removes guesswork from fragile build, patch, and CI workflows with tested step-by-step procedures.
6,181|438
↗
npx skills add ponylang/ponyc --all -g -y
Available:

Tells the AI agent how to load the Pony skill set, build and run compiler test targets, and follow strict runtime rules such as never adding threads or locks without approval.

All Skills in This Repository (5)

Pure Emerald Level Indicators
📦 In Repo
ponylangponylang

add-linux-release-target

Register a new Linux distro/version as a ponyc release target.

Official
Advanced
📦 In Repo
ponylangponylang

create-dragonfly-dev-env

Creates a local DragonFly BSD QEMU VM for building and testing ponyc with gcc13.

Official
Advanced
📦 In Repo
ponylangponylang

upgrade-llvm

Upgrade the vendored LLVM submodule in ponyc across major versions.

Official
Advanced
📦 In Repo
ponylangponylang

create-openbsd-dev-env

Creates a local OpenBSD QEMU VM matching ponyc tier-3 CI for building and testing ponyc.

Official
Advanced
📦 In Repo
ponylangponylang

create-freebsd-dev-env

Provisions a QEMU/KVM FreeBSD VM matching ponyc tier-3 CI for building and testing ponyc.

Official
Advanced

Frequently Asked Questions

FAQPage Schema
How to install ponyc skills?▼

Run `npx skills add ponylang/ponyc --all -g -y` in your terminal to install all skills in this suite globally.

What is the Pony programming language?▼

Pony is an open-source, actor-model, capabilities-secure, high-performance programming language, and this repository holds its compiler and runtime.

How do these skills help upgrade LLVM?▼

The upgrade-llvm skill walks the agent through moving the vendored LLVM pin, re-checking patches, fixing API breakage, and running the right tests one version at a time.

Can I test ponyc on FreeBSD or OpenBSD locally?▼

Yes. Dedicated skills stand up local QEMU virtual machines that exactly match the tier-3 CI jobs for FreeBSD, OpenBSD, and DragonFly BSD.

Do these skills work with Claude Code?▼

Yes. The skills follow the standard SKILL.md format and load automatically in Claude Code and other compatible AI coding agents.

Related Repositories in Software Engineering

View All in Software Engineering→
openclawopenclaw
388.4k

openclaw

Run a personal AI assistant across your devices and chat apps

Official📦 120 Skills
obraobra
280.0k

superpowers

Gives coding agents a disciplined workflow from idea to merged code

Community📦 15 Skills
facebookfacebook
248.4k

react

AI agent skills for building, testing, and porting React core

Official📦 14 Skills