1,188 mods tagged Rust that install into Codex, measured the same four ways as everything else here: what each costs in tokens on every session, what a security scan found and why, whether it is the original, and what changed.
MCP server Claude CodeCodexCursor +2
MCP server "sema" as configured in sema-lisp/sema. Launched with https://github.com/sema-lisp/sema/releases/download/v1.37.0/sema.mcpb.
Skill Claude CodeCodex
Find and remove banco module data that is no longer backed by the configuration — repositories dropped from a provider, task trees whose syncing was turned off, and local items the user wants to retire. Use when the user asks to tidy, clean up, prune, or remove outdated/stale/orphaned data, or after they change…
Skill Claude CodeCodex
Browser engine for AI agents: fetch JS-rendered and Cloudflare-protected pages as clean markdown, run 5-engine aggregated web search (Baidu, Bing, Sogou, WeChat, Google), take screenshots as visual input, extract structured data from SPAs, and drive multi-step interactions (click, type, fill forms, login, paginate)…
Skill Claude CodeCodex
Jira issue management skill for OpenClaw using the jirac CLI. Requires the jirac binary to be installed and authenticated before use. Use when listing, viewing, creating, updating, transitioning, commenting on, attaching files to, bulk-editing, cloning, deleting, linking, archiving, moving, changing types of Jira…
Skill Claude CodeCodex
My priorities, learning and work preferences.
Skill Claude CodeCodex
Generate validated GraphQL queries against this server's schema.
Skill Claude CodeCodex
Debug and trace C/C++/Rust programs with the GNU Debugger (GDB) without blocking the agent. Use when you need to set tracepoints, inspect variables, or monitor a running process while staying responsive to the user.
MCP server Claude CodeCodexCursor +2
An MCP server that enables searching for Rust crates and their documentation from crates.io and docs.rs. Runs locally from the @nuskey8/docs-rs-mcp npm package.
MCP server Claude CodeCodexCursor +2
MCP server "rust-docs-mcp-server" as configured in laptou/rust-docs-mcp-server. Runs locally from the rust-docs-mcp-server npm package.
Skill Claude CodeCodex
Use as your primary structural index for codebase analysis, blast-radius/centrality queries, and transitive dependency tracing, and as your mandatory spec-driven containment contract for pre-flight validation, Virtual AST planning, and post-edit scope-creep auditing.
Skill Claude CodeCodex
Build PowerPoint (PPTX) decks — pptxgenjs when Node is present, python-pptx when not; edit existing decks in place via OOXML — with visual QA before delivery.
systempromptio/systemprompt-template
Skill Claude CodeCodex
Drive every stage of the governance pipeline end to end, then prove that each decision was audited. This is the guided tour of the enforcement spine: the same four stages run on every tool call in the workspace.
Skill Claude CodeCodex
Tari Ootle development instructions for Aider.
Skill Claude CodeCodex
Dedalus Rust correctness and style rules. Use when writing, reviewing, or refactoring any Rust code in the host-agent, enclave, or packages/rust workspaces. Covers return-value naming, error design, mustuse, visibility, RAII, fail-closed, and all hard limits from style.md and rust.mdx.
Skill Claude CodeCodex
Aggressively strip redundant proof code from a Verus codebase while keeping verification passing. Use when you want to slim down Verus proof bloat, simplify redundant proof asserts, or run postprocess cleanup without breaking verification.
Skill Claude CodeCodex
Run a human-feedback loop through RambleDesk. Hard trigger: when the user invokes /ramble, $ramble, [$ramble], or says to use RambleDesk/ramble feedback, create a RambleDesk request before answering the substance unless they explicitly say not to send one. Also use when real human judgment, review, approval, or…
Skill Claude CodeCodex
An interactive workflow for creating, importing, and adapting Tiangong skills, which are instruction packages for an AI agent.
MCP server Claude CodeCodexCursor +2
MCP server "elle-mcp" as configured in elle-lisp/elle. Launched with elle mcp/mcp-server.lisp.
Skill Claude CodeCodex needs its repo
Procedural workflows for working with the Sruja codebase. Teaches AI editors how to add components, validate changes, and follow patterns.
cesarandreslopez/tauri-agent-tools
Skill Claude CodeCodex
How to add the tauri-agent-tools Rust dev bridge to a Tauri application.
Soushi888/holochain-agent-skills
Skill Claude CodeCodex
Holochain hApp development assistant covering coordinator/integrity zome architecture, Rust HDK/HDI patterns, entry/link types, CRUD, validation, cross-zome calls, Sweettest testing, TypeScript client integration, DNA migration and init properties, and Nix dev environments. USE WHEN writing zome code, designing DHT…
Skill Claude CodeCodex
Production durability patterns for AI agents on the JVM — crash recovery, audit trails, human-in-the-loop, and replay testing using JamJet runtime.
Skill Claude CodeCodex
Review Rust changes for correctness, regressions, and missing validation.
Skill Claude CodeCodex
Use when Rust code just changed and must not regress, when the user asks to scan, audit or health-check a Cargo workspace, says "rust-doctor", or wants one of its findings explained, tuned or switched off.
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: