An MCP server for Rust Language Server (rust-analyzer)
☆27Jul 13, 2025Updated 7 months ago
Alternatives and similar repositories for rust-mcp
Users that are interested in rust-mcp are comparing it to the libraries listed below
Sorting:
- Auto detection of apt proxies in the LAN, caching and checking status☆10Feb 13, 2025Updated last year
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- DriveWealth's OpenAPI Specification☆15Apr 4, 2025Updated 11 months ago
- PDF Analyzer and Render Comparer☆11May 6, 2022Updated 3 years ago
- A zellij plugin that automatically switches between normal mode and locked mode☆13Dec 12, 2024Updated last year
- Experimental MLIR based points-to analysis tool☆17Jan 21, 2026Updated last month
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- Scudo useful files☆10Jul 3, 2022Updated 3 years ago
- MCP server for development in Rust☆25Updated this week
- LibAFLGo: Evaluating and Advancing Directed Greybox Fuzzing☆23Updated this week
- An OCI building tool for content-based layers☆43Updated this week
- ☆12Nov 2, 2022Updated 3 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated 2 weeks ago
- ☆22Feb 19, 2026Updated 2 weeks ago
- Fast lookup of the Unicode General Category property for `char` in Rust.☆20Sep 16, 2025Updated 5 months ago
- The repository contains both the dataset of rug pull events and the source code of CRPWarner.☆14Sep 22, 2024Updated last year
- Rust-based PBX☆15Dec 17, 2022Updated 3 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 4 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- Generic async runtime functions using a pluggable dispatcher☆17May 31, 2024Updated last year
- A Rust-native WebAssembly syntax model useful for generating, reading, and emitting WebAssembly code.☆17Feb 5, 2026Updated last month
- ☆19Jan 31, 2023Updated 3 years ago
- Cargo subcommand to install and update binary packages listed in configuration☆19Feb 6, 2026Updated last month
- some notes for how to build projects into a single LLVM bitcode file.☆18Jan 16, 2019Updated 7 years ago
- ☆18Dec 21, 2025Updated 2 months ago
- ☆17Jul 11, 2025Updated 7 months ago
- 📦🚀 A crate that allows for easy and fast communication between processes, threads and systems.☆16Oct 10, 2024Updated last year
- Simple examples on how to implement a DSL in Haskell.☆19Nov 6, 2019Updated 6 years ago
- ☆17Sep 23, 2024Updated last year
- Convert low ghidra pcode to verifiable C☆24Sep 13, 2024Updated last year
- supercharge your tauri apps with egui☆28Jan 27, 2026Updated last month
- Programs and Proofs -- Spring 2025 -- IITM☆20May 10, 2025Updated 9 months ago
- The binary-layout library allows type-safe, inplace, zero-copy access to structured binary data. You define a custom data layout and give…☆73Dec 13, 2024Updated last year
- ☆20Jan 31, 2022Updated 4 years ago
- A Rust crate for helping write structs as binary data using ✨macro magic✨☆18Apr 17, 2020Updated 5 years ago
- Lean for Scientists and Engineers, course taught in Summer 2024☆25Jan 6, 2025Updated last year
- Lennard Jones in Lean☆21Jul 14, 2025Updated 7 months ago
- ☆19Jun 25, 2025Updated 8 months ago
- ☆37Updated this week