Smithery Logo
MCPsSkillsDocsPricing
Login
NewFlame, an assistant that learns and improves. Available onTelegramSlack
    redisearch

    check-rust-coverage

    redisearch/check-rust-coverage
    Coding
    6,080

    About

    SKILL.md

    Install

    • Telegram
      Telegram
    • Slack
      Slack
    • Claude Code
      Claude Code
    • Codex
      Codex
    • OpenClaw
      OpenClaw
    • Cursor
      Cursor
    • Amp
      Amp
    • GitHub Copilot
      GitHub Copilot
    • Gemini CLI
      Gemini CLI
    • Kilo Code
      Kilo Code
    • Junie
      Junie
    • Replit
      Replit
    • Windsurf
      Windsurf
    • Cline
      Cline
    • Continue
      Continue
    • OpenCode
      OpenCode
    • OpenHands
      OpenHands
    • Roo Code
      Roo Code
    • Augment
      Augment
    • Goose
      Goose
    • Trae
      Trae
    • Zencoder
      Zencoder
    • Antigravity
      Antigravity
    • Download skill
    ├─
    ├─
    └─
    Smithery Logo

    Give agents more agency

    Resources

    DocumentationPrivacy PolicySystem Status

    Company

    PricingAboutBlog

    Connect

    © 2026 Smithery. All rights reserved.

    About

    Check which Rust lines are not covered by Rust tests.

    SKILL.md

    Check Rust Coverage

    Determine which Rust lines are not covered by Rust tests.

    Arguments

    • <path>: Path to a Rust crate.
    • <path 1> <path 2>: Multiple crate paths.

    If a path doesn't include src/, assume it to be in the src/redisearch_rs directory. E.g. numeric_range_tree becomes src/redisearch_rs/numeric_range_tree. If a path points to a directory, consider all Rust crates in that directory.

    Instructions

    Run

    cargo llvm-cov test --manifest-path <crate_directory>/Cargo.toml --quiet --json 2>/dev/null | jq -r '"Uncovered Lines:",
    (.data[0].files[] |
      select(.summary.lines.percent < 100) |
      .filename as $f |
      [.segments[] | select(.[2] == 0 and .[4] == true) | .[0]] |
      unique |
      if length > 0 then "\($f): \(join(", "))" else empty end
    )'
    

    to get the list of uncovered lines for each file in the target crate.

    Recommended Servers
    GENESIS ProofRelay MCP Verifier
    GENESIS ProofRelay MCP Verifier
    Chemical Safety Intelligence
    Chemical Safety Intelligence
    Food Safety Intelligence
    Food Safety Intelligence
    Repository
    redisearch/redisearch
    Files