Skip to main content
تشغيل أي مهارة في Manus
بنقرة واحدة
davidhozic
ملف منشئ GitHub

davidhozic

عرض على مستوى المستودعات لـ 12 skills مجمعة عبر 1 مستودعات GitHub.

skills مجمعة
12
مستودعات
1
محدث
2026-06-12
خريطة المستودعات

أين توجد skills

أهم المستودعات حسب عدد skills المجمعة، مع حصتها من كتالوج هذا المنشئ وانتشارها المهني.

مستكشف المستودعات

المستودعات و skills الممثلة

doc
مطوّرو البرمجيات

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
مطوّرو البرمجيات

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
محللو ضمان جودة البرمجيات والمختبرون

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
مطوّرو البرمجيات

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
مطوّرو البرمجيات

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
مطوّرو البرمجيات

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
مطوّرو البرمجيات

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
مطوّرو البرمجيات

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

2026-06-10
عرض أهم 8 من أصل 12 skills مجمعة في هذا المستودع.
عرض 1 من أصل 1 مستودعات
تم تحميل كل المستودعات