Compile-time state validation through type encoding, eliminating invalid states at the type level.
Run in your terminal
Covers six core patterns: newtype for type-safe primitives, type state for state machines, PhantomData for variance tracking, marker traits for capability flags, builders for gradual construction, and sealed traits for closed impl sets
Emphasizes asking \"can the compiler catch this?\" before adding runtime validation, with decision guides mapping common needs to appropriate patterns
In
AI-first code editor with Composer
Before installing skills in Cursor, ensure your development environment meets these requirements:
node --versionm05-type-drivenExecute the skills CLI command in your project's root directory to begin installation:
Package manager
npx skills add https://github.com/zhanghandong/rust-skills --skill m05-type-drivenFetches m05-type-driven from zhanghandong/rust-skills and configures it for Cursor.
The CLI shows a list of agents. Use arrow keys and space to select Cursor:
Confirm successful installation by checking the skill directory location:
Restart Cursor to activate m05-type-driven. Access via /m05-type-drivenin your agent's command palette.
We perform automated surface-level scans (Gen AI Scanner, Socket, Snyk) during installation. These checks detect common vulnerabilities but do not guarantee complete security. Always review skill source code and verify the publisher's reputation before production use.
Skills execute code in your environment. Always review source, verify the publisher, and test in isolation before production.
Submit your Claude Code skill and start earning
Create detailed user stories, acceptance criteria, and feature specs
Example
Generate user stories for 'password reset feature' with acceptance criteria, edge cases, and test scenarios
Reduce spec writing time by 50%, ensure comprehensive coverage
Research competitors, compare features, identify gaps
Example
Analyze 5 competitor products, create feature comparison matrix, suggest differentiation opportunities
Complete competitive research in 2 hours instead of 2 days
Evaluate features using frameworks (RICE, ICE, Kano) and create prioritized backlogs
Example
Score 20 feature ideas using RICE framework, generate prioritized roadmap with rationale
Package manager
npx skills add https://github.com/zhanghandong/rust-skills --skill m05-type-drivenWorks with
0
total installs
0
this week
979
GitHub stars
0
upvotes
Make data-driven prioritization decisions faster
Draft PRDs, status updates, and stakeholder presentations
Example
Create executive summary of Q3 roadmap, monthly progress report, feature launch announcement
Save 3-5 hours/week on communication overhead
Prerequisites
Time Estimate
30-60 minutes to see productivity improvements
Steps
Common Pitfalls
✓ Do
✗ Don't
💡 Pro Tips
✓ Use when
Use for user story writing, competitive research, roadmap prioritization, stakeholder communication, and PRD drafting. Best for reducing repetitive documentation and research work.
✗ Avoid when
Avoid for strategic product vision (requires deep customer empathy), pricing decisions (needs market and financial expertise), or when face-to-face customer discovery is more valuable than speed.
mattpocock/skills
parcadei/continuous-claude-v3
cursor/plugins
ailabs-393/ai-labs-claude-skills
ailabs-393/ai-labs-claude-skills
greedychipmunk/agent-skills
m05-type-driven fits our agent workflows well — practical, well scoped, and easy to wire into existing repos.
Registry listing for m05-type-driven matched our evaluation — installs cleanly and behaves as described in the markdown.
Useful defaults in m05-type-driven — fewer surprises than typical one-off scripts, and it plays nicely with `npx skills` flows.
We added m05-type-driven from the explainx registry; install was straightforward and the SKILL.md answered most questions upfront.
Solid pick for teams standardizing on skills: m05-type-driven is focused, and the summary matches what you get after install.
I recommend m05-type-driven for anyone iterating fast on agent tooling; clear intent and a small, reviewable surface area.
m05-type-driven reduced setup friction for our internal harness; good balance of opinion and flexibility.
Keeps context tight: m05-type-driven is the kind of skill you can hand to a new teammate without a long onboarding doc.
Registry listing for m05-type-driven matched our evaluation — installs cleanly and behaves as described in the markdown.
m05-type-driven fits our agent workflows well — practical, well scoped, and easy to wire into existing repos.
showing 1-10 of 57