做嵌入式固件，也用 Rust 写 AI 编码 agent。
我的主线是把固件开发里最耗时、最容易翻车的那段——编译、烧录、串口观测、二进制分析、物理验证——从一堆手工切换的工具里，收进一个能自己跑完的闭环。
代表作是开源项目 Firment：一个 Rust 写的、嵌入式优先的编码 Agent，核心理念是「模型把代码打印出来不算完成，固件在真硬件上被验证过才算」。
技术栈大致是：
- 嵌入式：STM32（F1/F4/G0/G4/H7）、ESP32、51 单片机；FreeRTOS、bare-metal、probe-rs、PlatformIO/CubeMX 工具链
- 系统：Rust（也写 C）、Tauri、tokio
- AI agent：多提供商 LLM 接入、工具循环、权限/沙箱、子代理
这里主要写这三块交叉的地方：怎么让 AI 真正对硬件负责、怎么用可复现的证据（而不是模型的自信）判断一件事做没做成。
想聊项目或合作：GitHub @MoRiv447。