Rust Trait Explorer

What it does

When your agent uses it

• Find implementations

Example prompts

• “/rust-trait-explorer”

Requirements

• Pre-approved tools (allowed-tools): LSP, Read, Glob, Grep

What it can do on your machine

Read from SKILL.md and the folder at commit 75c1286. It shows what the files ask for, not the result of running them.

• Tool permissions

  Pre-approves these tools, so the agent can use them without asking each time:

  • LSP
  • Read
  • Glob
  • Grep

  From allowed-tools in the SKILL.md frontmatter.

• Runs code

  No scripts in the folder and no shell commands in SKILL.md (its code samples are rust).

  From the folder's file list and the shell code blocks in SKILL.md.

• Network

  No URLs in SKILL.md.

  From URLs in SKILL.md, links to its own repository left out.

• Credentials

  Names no API keys, tokens, secrets or passwords.

  From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Rust Trait Explorer loads about 1.3k tokens when it runs. Until then it costs about 39 tokens; SKILL.md has 214 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it

~39

When it runs · the whole SKILL.md, loaded when a task matches

~1.3k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

• WarningContains zero-width charactersSKILL.md:93

  ⟨U+200B⟩```rust

• WarningContains zero-width charactersSKILL.md:98

  ⟨U+200B⟩```

• WarningContains zero-width charactersSKILL.md:112

  ⟨U+200B⟩```rust

• WarningContains zero-width charactersSKILL.md:122

  ⟨U+200B⟩```

• WarningContains zero-width charactersSKILL.md:125

  ⟨U+200B⟩```rust

• WarningContains zero-width charactersSKILL.md:135

  ⟨U+200B⟩```

• WarningContains zero-width charactersSKILL.md:167

  ⟨U+200B⟩```

• WarningContains zero-width charactersSKILL.md:179

  ⟨U+200B⟩```

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from fjrevoredo/mini-diarium at commit 75c1286, republished under its MIT licence (© fjrevoredo). 214 words, ~1,343 tokens.

name

rust-trait-explorer

description

Explore Rust trait implementations using LSP. Triggers on: /trait-impl, find implementations, who implements, trait 实现, 谁实现了, 实现了哪些trait

allowed-tools

LSP, Read, Glob, Grep

argument-hint

<TraitName|StructName>

/rust-trait-explorer <TraitName|StructName>

LSP(
  operation: "goToImplementation",
  filePath: "src/traits.rs",
  line: 10,
  character: 11
)

User: "Who implements the Handler trait?"
    │
    ▼
[1] Find trait definition
    LSP(goToDefinition) or workspaceSymbol
    │
    ▼
[2] Get implementations
    LSP(goToImplementation)
    │
    ▼
[3] For each impl, get details
    LSP(documentSymbol) for methods
    │
    ▼
[4] Generate implementation map

User: "What traits does MyStruct implement?"
    │
    ▼
[1] Find struct definition
    │
    ▼
[2] Search for "impl * for MyStruct"
    Grep pattern matching
    │
    ▼
[3] Get trait details for each
    │
    ▼
[4] Generate trait list

## Implementations of `Handler`

**Trait defined at:** src/traits.rs:15

```rust
pub trait Handler {
    fn handle(&self, request: Request) -> Response;
    fn name(&self) -> &str;
}

impl Handler for AuthHandler {
    fn handle(&self, request: Request) -> Response {
        // Authentication logic
    }

    fn name(&self) -> &str {
        "auth"
    }
}

impl Handler for ApiHandler {
    fn handle(&self, request: Request) -> Response {
        // API routing logic
    }

    fn name(&self) -> &str {
        "api"
    }
}

### Traits for a Type

User
├── derive
│   ├── Debug
│   ├── Clone
│   ├── Serialize
│   └── Deserialize
└── impl
    ├── Default (src/models/user.rs:50)
    ├── Display (src/models/user.rs:60)
    ├── Entity (src/models/user.rs:70)
    └── Validatable (src/models/user.rs:85)

## Trait Hierarchy Visualization

                ┌─────────────┐
                │    Error    │ (std)
                └──────┬──────┘
                       │
          ┌────────────┼────────────┐
          │            │            │
  ┌───────▼───────┐ ┌──▼──┐ ┌───────▼───────┐
  │  AppError     │ │ ... │ │  DbError      │
  └───────┬───────┘ └─────┘ └───────┬───────┘
          │                         │
  ┌───────▼───────┐         ┌───────▼───────┐
  │ AuthError     │         │ QueryError    │
  └───────────────┘         └───────────────┘

## Analysis Features

### Coverage Check

### Blanket Implementations

## Common Patterns

| User Says | Action |
|-----------|--------|
| "Who implements X?" | goToImplementation on trait |
| "What traits does Y impl?" | Grep for `impl * for Y` |
| "Show trait hierarchy" | Find super-traits recursively |
| "Is X: Send + Sync?" | Check std trait impls |

## Related Skills

| When | See |
|------|-----|
| Navigate to impl | rust-code-navigator |
| Call relationships | rust-call-graph |
| Project structure | rust-symbol-analyzer |
| Safe refactoring | rust-refactor-helper |

© fjrevoredo, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. 8 hidden characters (zero-width or bidirectional) removed. Raw file

Files

Just SKILL.md in .agents/skills/rust-trait-explorer of fjrevoredo/mini-diarium.

Open the folder on GitHubat commit 75c1286

Used in 1 other repository

We found 1 copy of this SKILL.md (exact, near-identical or edited) in other folders, from 1 other GitHub owner. This page covers the copy in fjrevoredo/mini-diarium, which our catalogue first saw on October 7, 2026.

• NeverSight/learn-skills.devdata/skills-md/actionbook/rust-skills/rust-trait-explorer