Skip to main content
Exécutez n'importe quel Skill dans Manus
en un clic
davidhozic
Profil créateur GitHub

davidhozic

Vue par dépôt de 12 skills collectés dans 1 dépôts GitHub.

skills collectés
12
dépôts
1
mis à jour
2026-06-12
carte des dépôts

Où se trouvent les skills

Principaux dépôts par nombre de skills collectés, avec leur part dans ce catalogue créateur et leur couverture métier.

explorateur de dépôts

Dépôts et skills représentatifs

doc
Développeurs de logiciels

Build rustdoc and Sphinx documentation, verifying both for warnings, broken links, content correctness, and changelog/migration completeness against the code. Use this when asked to build docs, check doc comments, or verify documentation.

2026-06-12
release
Développeurs de logiciels

Pre-release preparation and verification workflow for cutting a new mujoco-rs version. Use this when asked to prepare a release, do a pre-release check, cut version X.Y.Z, or verify the crate is ready to publish. Runs every gate the maintainer needs before publishing, then hands off the networked publish steps.

2026-06-12
verify
Analystes en assurance qualité des logiciels et testeurs

Systematically verify correctness of the mujoco-rs wrapper layer using parallel subagents. Use this when asked to audit, verify, or deeply check the codebase for bugs.

2026-06-12
ffi-audit
Développeurs de logiciels

Audit the impact of regenerated MuJoCo FFI bindings (the ffi-regenerate Cargo feature) on the wrapper layer. Diffs src/mujoco_c.rs, reads the MuJoCo changelog entries for the version range, deep-verifies every changed item against the C/C++ source, and writes a self-contained HTML report suggesting required wrapper additions/removals/updates. Strictly read-only -- it suggests changes but never edits code. Use after regenerating the FFI bindings or bumping the MuJoCo version.

2026-06-12
safety
Développeurs de logiciels

Adversarial multi-agent soundness audit of the mujoco-rs SAFE API surface -- memory safety, thread safety (every unsafe impl Send/Sync), &self vs &mut self mutability, and lifetime/variance correctness, restricted to defects reachable from 100% safe code. Produces a single self-contained HTML report. Use when asked to audit/check the crate for unsoundness or undefined behavior reachable from safe code. Distinct from /verify (which covers stride/length-field/type correctness).

2026-06-12
asan
Développeurs de logiciels

Run AddressSanitizer and UndefinedBehaviorSanitizer on the Rust+C FFI boundary. Use this when asked to check for memory errors, undefined behavior, or when verifying FFI safety.

2026-06-10
build
Développeurs de logiciels

Build the mujoco-rs library using the pre-downloaded MuJoCo shared library. Use this when asked to build or compile the project.

2026-06-10
clippy
Développeurs de logiciels

Run cargo clippy for Rust linting. Use this when asked to lint the code or check for common mistakes.

2026-06-10
Affichage des 8 principaux skills collectés sur 12 dans ce dépôt.
1 dépôts affichés sur 1
Tous les dépôts sont affichés