القائمة
Use when writing, designing, or reviewing Rust code, or when learning Rust idioms—consult Microsoft RustTraining books in the repo before guessing patterns
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
Idiomatic Effect.rs: program structure, HARD rules, and BAD/GOOD patterns for every major construct in the `effect` crate (foundation through testing). Use when writing or refactoring Effect-based Rust, wiring services/layers, schema, streams, STM, or converting async/Result code to Effect.
Use for Rust build pipelines, cross-compilation, CI/CD, tooling, and validation (Miri, deny)—consult the Rust Engineering Practices book in the submodule
Use when encountering any bug, test failure, or unexpected behavior, before proposing fixes
Vault directory and append-only hook JSONL logs under vault/Logs. Use when configuring or debugging session-init, setup-cursor, hooks, or .tool-llm-git-context paths. Always read .cursor/rules/llm-git-context.mdc and run CLI via devenv shell --.
| name | rust-microsoft-training |
| description | Use when writing, designing, or reviewing Rust code, or when learning Rust idioms—consult Microsoft RustTraining books in the repo before guessing patterns |
This repository vendors microsoft/RustTraining as a git submodule:
Root: .cursor/microsoft-rust-training/
Upstream describes it as training material, not an authoritative spec. Cross-check important details with The Rust Book and The Rust Reference.
unsafe, custom Drop, interior mutability, or advanced generics—read the relevant book chapters first in the submodule, then apply.All books expose a table of contents at */src/SUMMARY.md under the submodule root.
Book (path under .cursor/microsoft-rust-training/) | Level | Use when |
|---|---|---|
c-cpp-book/ | Bridge | Coming from C/C++; move semantics, RAII, FFI, no_std, embedded |
csharp-book/ | Bridge | Coming from C#/Java/Swift-style OOP → ownership and the type system |
python-book/ | Bridge | Dynamic → static typing; concurrency without a GIL mental model |
async-book/ | Deep dive | async/.await, Tokio, streams, cancellation |
rust-patterns-book/ | Advanced | Pin, allocators, lock-free ideas, unsafe patterns |
type-driven-correctness-book/ | Expert | Type-state, phantom types, encoding invariants in types |
engineering-book/ | Practices | Builds, cross-compilation, CI, Miri—see also rust-production-engineering skill |
src/SUMMARY.md and identify 1–3 chapters that cover the topic.src/—follow links from SUMMARY.md).Cargo.toml vs book examples).cargo check, cargo test, and clippy; for unsafe or concurrency, consider Miri when appropriate (engineering book).unsafe.rustc errors—use both.If .cursor/microsoft-rust-training/ is missing, from the repo root run:
git submodule update --init --recursive