proto-persona
claudeCreate a proto-persona from current research, market signals, and team knowledge.
1 skill
Agent skill for proto — the pluggable multi-language version manager by moonrepo.
Plugin proto from marketplace proto-skill in Ruisi-Lu/proto-skill. Commands read from the repo's manifest — 1 month ago.
protoGuide for proto — the pluggable multi-language version manager by moonrepo. Use when installing tools, pinning versions, configuring .prototools, writing plugins, or troubleshooting version detection.
Create a proto-persona from current research, market signals, and team knowledge.
1 skill
The top 3D families in depth: mesh generation, retexture and rigging toolchains, portraits, and explorable worlds and splats.
179 skills
Install, pin, and switch Zig toolchains with zvm (Zig Version Manager).
1 skill
Lean 4 language server with per-file Lake project-root detection (lake serve, or lean --server for standalone files), elan toolchain discovery, multi-project and worktree routing, and bounded memory (Lean workers are closed when idle or past a cap). Bundles the lean-goal CLI for proof goals, candidate tactics and Mathlib-wide lemma search.
1 skill · LSP
Xilinx full-toolchain assistant covering Vivado, Vitis HLS, Vitis Unified IDE, and PetaLinux -- from HLS algorithm to boot image
1 skill
Git workflows: commit messages, PR preparation, documentation updates, version management, sessions, and deferred-item capture
18 skills · 49 commands · 9 agents · hooks
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.