MCP server

AGZ Rust Coder

io.github.ugur-murat-alt/agz-rust-coder

Checked 26 Oct 2026, 08:31 UTC · Checked against OSV.dev for malware and vulnerabilities; never run by us

Bounded, source-write-free Rust correctness tools grounded in Cargo and rustc output.

Source

At a glance

Type

MCP server

Publisher

Not verified

Status

Runs on your computer

Last checked

26 Oct 2026, 08:31 UTC

Browse

• GitHub tools
• Rust tools
• GitHub and code hosting

Related MCP servers

• Android Coder Demo
  Free/cheap Qwen coder for Kotlin Android apps
• Qwen2.5-Coder 14B (ZeroGPU)
  Qwen2.5-Coder-14B coding assistant on free ZeroGPU
• GardenArena GardenScript
  Simulate farms, validate GardenScript and compare policies with Rust. No outbound LLM calls.
• K402
  Agent-payable APIs on Kaspa: LLMs, chain data, covenants, zk proofs — pay per call, no API key
• Agent Data Tools: AI
  25 tools: LLM chat, summaries, translation, embeddings, speech, images. 25 free calls.
• Channel-bound delegation receipts
  Binds delegated results to their arrival channel: provenance grades plus a grounded truth tier.
• Agentic Finance Graph
  Ledger of AI-agent money on Base: ranked agents, payments, detections, free checks before you pay
• Mzizi
  Mzizi design system MCP: components, tokens, skills and docs. Free; sign-in only for Fundi.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.ugur-murat-alt/agz-rust-coder.svg)](https://aptlynx.net/servers/io.github.ugur-murat-alt/agz-rust-coder)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents