Skip to main content
Back to registry

m05-type-driven

zhanghandong/rust-skills

Installs571
Install command
npx skills add https://github.com/zhanghandong/rust-skills --skill m05-type-driven
Security audits
Gen Agent Trust HubPASS
SocketPASS
SnykPASS
About this skill
Layer 1: Language Mechanics How can the type system prevent invalid states? Before reaching for runtime checks: Before adding runtime validation: Can the type encode the constraint? When is validation possible? Who needs to know the invariant? When type design is unclear: From design to implementation: - Can the compiler catch this error? - Can invalid states be unrepresentable? - Can the type encode the invariant? - Can the type encode the constraint?

Source description provided by the upstream skill listing. Community reviews and install context appear in the sections below.

Community Reviews

Latest reviews

Sign in to review

No community reviews yet. Be the first to review.

Browse this skill in context
FAQ
What does m05-type-driven do?

m05-type-driven is listed in SkillJury, but the source summary is still sparse.

Is m05-type-driven good?

m05-type-driven does not have approved reviews yet, so SkillJury cannot publish a community verdict.

What agent does m05-type-driven work with?

m05-type-driven currently lists compatibility with codex, gemini-cli, opencode, kimi-cli, amp, github-copilot.

What are alternatives to m05-type-driven?

Skills in the same category include telegram-bot-builder, flutter-app-size, sharp-edges, iterative-retrieval.

How do I install m05-type-driven?

npx skills add https://github.com/zhanghandong/rust-skills --skill m05-type-driven

Related skills

More from zhanghandong/rust-skills

Related skills

Alternatives in Software Engineering