#development-tools

Interactive debugger for Miden programs

Scriptable local traffic workbench for inspecting, intercepting, replaying, and rewriting HTTP/HTTPS and WebSocket traffic.

Serial flasher utility for Espressif SoCs and modules based on esptool.py

Track and query Cargo dependency graphs.

🦀 Rust API, 🐍 Python API, and 🤖 MCP Server for TP-Link Tapo smart devices

A Rust library that turns Markdown into WCAG-compliant, SEO-friendly HTML — front matter, TOC, JSON-LD, MathML, Mermaid, and minification in one pipeline. Runs natively or as WebAssembly.

Terminal security for developers and AI agents. Intercepts homograph URLs, pipe-to-shell, ANSI injection, obfuscated payloads, data exfiltration, and malicious AI skills/configs before they execute.

Installer and automatic update framework for cross-platform desktop applications

Minimal Docs for Agents & Humans.

Zero-boilerplate type-safe Rust configuration library — #[derive(Config)] with TOML/JSON/YAML/INI/.env sources, priority-chain merge, hot reload with canary rollout, field encryption, remote backends (etcd/Consul/Nacos/K8s), and diagnostic CLI

An interactive terminal user interface (TUI) application for exploring data of a kafka cluster.

🩺⚡ Runtime Doctrine ORM analysis integrated into Symfony Web Profiler. Detect N+1 queries, security vulnerabilities, and performance issues during query execution.

The most comprehensive code intelligence MCP server for AI coding agents. 40+ tools, 30+ languages, 9 agent integrations. Pre-indexed semantic knowledge graphs for instant code understanding — fewer tokens, fewer tool calls, 100% local.

Unified Rust workspace for the trusty-* AI developer-tooling ecosystem: hybrid code search, memory palace, code analysis, PR review, and the MPM multi-agent platform — MCP servers, daemons & CLIs.

a drop-in replacement fork of the original bincode crate: "A binary serialization / deserialization strategy for transforming structs into bytes and vice versa!"

The Rust Language Server Project

Give your agent a proper IDE and OS. The sensorimotor cortex for coding agents (OpenCode + Pi), part of CortexKit: symbol-aware edits, semantic search, code health, fast grep/glob, bash compression, background tasks, PTY.

Rust OpenAPI 3.1 Type Generator

Build tool for Leptos (Rust)

Insert favourite gourd-related pun here

A pluggable multi-language version manager.

A serializer and deserializer for JUnit reports, used by cargo-nextest

Pragmatic AI Labs MCP SDK

the governed runtime for agent skill workflows, off the leash but on the record

Migrations, Seeding, TypeGen and Testing for your SurrealDB apps

Source code spell checker for Visual Studio Code, Neovim and other LSP clients

An Opinionated Formatter for Verus

Wenlan is a knowledge base for the AI-native age. Your AI agents capture what they learn, Wenlan keeps it current and distills it into source-cited wiki pages you can trust

background code checker

Repo-native governance kernel for bounded, convergent, proof-backed agent work.