Agent Skills by Heiko Wagner
Showing 5 vetted skills indexed across 1 GitHub repositories.
heikowagner4
nela-runtime-immutable
Enforce immutability on runtime and tooling files in NELA-S projects.
Community
Basic
heikowagner4
nela-s-writing
Write and refactor NELA-S code with structured section indexing and metadata.
Community
Intermediate
heikowagner4
nela-headers
Define and maintain section metadata in NELA-S source files.
Community
Intermediate
heikowagner4
nela-foundations
Explains mathematical foundations for designing and verifying NELA language constructs.
Community
Advanced
heikowagner4
nela-tools
Implement Python tools for the NELA language toolchain.
Community
Advanced