miri Model Context Protocol (MCP) Server

An interpreter for Rust's mid-level intermediate representation

6,106 stars

Rust 1 file · ~11,023 tokens

Official MCP Monorepo Collection

miri Modular Servers

An interpreter for Rust's mid-level intermediate representation

Model Context Protocol (borrow_tracker) server

Model Context Protocol (bin) server

Model Context Protocol (alloc_addresses) server

Model Context Protocol (alloc) server

Model Context Protocol (concurrency) server

Model Context Protocol (data_structures) server

Model Context Protocol (intrinsics) server

Model Context Protocol (shims) server