Miguel C
Community@Immac · Honduras
Immac provides skills for building, documenting, and installing pi extensions via a deterministic extension-creator bootstrap and guided zero-to-documented pipeline.
Agent Skills by Miguel C
Showing 3 vetted skills indexed across 2 GitHub repositories.
Immacuse-extension-creator-install
Installs pi extensions to ~/.pi-extensions using the extension_creator tool.
Immaczero-to-documented
Builds and documents pi extensions through a seven-phase plan-to-install workflow.
Immacdeterministic-bootstrap
Builds, self-installs, and verifies the extension-creator as a pi-discoverable extension via one script.
Frequently Asked Questions About Miguel C
FAQPage SchemaWhat tasks can I accomplish with Immac's pi extension skills?▼
You can install pi extensions to ~/.pi-extensions/<name> via the extension_creator, build a fully documented extension from scratch through a plan-scaffold-implement-document-validate-install pipeline, and bootstrap the extension-creator itself as a pi-discoverable extension.
Who should use these pi extension development skills?▼
Developers building or distributing pi extensions benefit most. The skills suit engineers who need a repeatable path from an empty project to a validated, documented, installed extension, plus maintainers who want the extension-creator discoverable within pi.
How does the zero-to-documented skill work in practice?▼
It guides creation of a complete pi extension from zero through sequential stages: plan, scaffold, implement, document, validate, and install. The result is a working extension with documentation, ready for installation into the standard ~/.pi-extensions directory.
What are the prerequisites for using these skills?▼
You need a pi environment capable of discovering extensions and access to the extension_creator for installs. The deterministic-bootstrap skill requires only a single script run to register the extension-creator as a pi-discoverable extension.
Where are pi extensions installed by these skills?▼
Extensions are installed to ~/.pi-extensions/<name>, the standard per-user extension directory. The use-extension-creator-install skill mandates the extension_creator for all installations, ensuring consistent, discoverable placement of every extension.