メニュー
Apply for build/test/lint, dependency or feature changes, and editing Cargo.toml or .cargo config in this repo.
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Apply when starting work, branching, committing, opening/reading PRs, reading issues, or checking CI — the git + GitHub (gh) workflow.
Apply when creating or tracking a GitHub issue, or planning multi-step work — the issue template and the task convergence loop.
Apply when writing, editing, reviewing, or refactoring ANY code in this repo — coding-behavior rules to avoid overcomplication and make surgical, verifiable changes.
Apply when changing the REST API surface — actix handlers, utoipa annotations, or request/response types under server/.
Apply when editing .proto files or the generated protobuf types (src/pbs/*) in this repo.
Apply when working in mehari-python/ — the PyO3/maturin Python extension.
| name | cargo |
| description | Apply for build/test/lint, dependency or feature changes, and editing Cargo.toml or .cargo config in this repo. |
resolver=3), one member: mehari/. mehari-python/ is excluded (own [workspace] stub + Cargo.lock) — never add it to root members. See python-bindings.cargo build · test cargo test / cargo test --all-features · format cargo fmt (check cargo fmt -- --check) · lint cargo clippy --workspace --all-features · coverage cargo llvm-cov --all-features --workspace.cargo run -p mehari --bin mehari -- <args>.protoc + system librocksdb-dev libsnappy-dev libsqlite3-dev.default = ["jemalloc", "server"]. server gates actix/utoipa (+ annonars/server); jemalloc the allocator; dhat-heap heap profiling; documentation doc includes.[dependencies] alphabetically ordered (match existing).workspace = true inheritance where the workspace defines a dep; otherwise follow existing style..cargo/config.toml sets ROCKSDB_LIB_DIR/SNAPPY_LIB_DIR=/usr/lib/ and a thumbv7em linker — don't remove/break these.version field — don't bump by hand. The sync-lockfiles workflow keeps root and mehari-python/Cargo.lock aligned on release PRs.mehari/src/db/transcripts/create/build.rs is a regular module named build.rs, NOT a Cargo build script. The real build script is mehari/build.rs.