Diesen Prompt kopieren und in den verwendeten KI-Assistenten einfügen.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/google/rust-skills.README des Repositorys wird geladen…
Es werden 2 von 2 gesammelten Skills angezeigt.
Write and review unsafe Rust `# Safety` documentation and safety comments (e.g., `// safety:` or `/// safety:` in any capitalization) as proof obligations grounded in the Rust Reference, standard library documentation, trusted opted-in dependency contracts,…
Quellsprache: Englisch
Author, document, review, audit, or redesign unsafe Rust with proof-grade rigor. Use for unsafe blocks and functions, unsafe traits and impls, raw pointers, FFI, inline assembly, intrinsics, layout or validity reasoning, concurrency and atomics, SIMD and…
Quellsprache: Englisch
Die README konnte nicht geladen werden. Die Skills des Repositorys lassen sich unten weiterhin ansehen.