# rust-dev-cargo-miri

`station__rust-dev__rust-dev-cargo-miri` · external (needs EXECUTION_BACKEND_URL configured) · domain `rust-dev` · pv-relevance `non-pv`

Rust Dev Cargo Miri

> **Note:** This tool routes through an external execution backend. If `EXECUTION_BACKEND_URL` is unset on the server, calls return JSON-RPC error `-32603 "Tool execution backend not configured"`. Tools with `backend: native` execute in-process and are always callable.

## Agent metadata

- `idempotent`: unknown
- `read_only`: unknown
- `expected_latency_ms`: unknown (not yet contract-tested)
- `cost_tokens_estimate`: unknown

## Input schema

- `lib_only` *boolean* (required)
- `package` *string* — Specific package to test. Maps to -p flag.
- `path` *string* — Path to crate directory.
- `test_filter` *string* — Test name filter (passed after --)

## Example call

```json
POST /api/mcp
Content-Type: application/json

{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "station__rust-dev__rust-dev-cargo-miri",
    "arguments": {
      "lib_only": false
    }
  }
}
```

## Related

- [/tools](/tools) — all 3062 tools
- [/tools/rust-dev__rust-dev-cargo-miri](/tools/rust-dev__rust-dev-cargo-miri) — HTML page
- [/tools/rust-dev__rust-dev-cargo-miri/json](/tools/rust-dev__rust-dev-cargo-miri/json) — JSON form (agent-friendly)
- [/api/mcp](/api/mcp) — endpoint
- [/AGENTS.md](/AGENTS.md) — agent guide