CircuitDoctor

开发者 Nayanjyoti 在 Graph Hacks 黑客松中构建了 CircuitDoctor，它利用 FalkorDB 图数据库帮助用户在连接硬件之前检查 KiCad 电路的接线问题。

CircuitDoctor 在 FalkorDB 中将电路建模为 Component ──HAS_PIN──> Pin ──ON_NET──> Net 的图结构。

每次上传的电路都会在 FalkorDB 中生成独立的图，以便在修改前后进行版本对比。

对于支持的两脚电阻，CircuitDoctor 会在引脚之间创建 THROUGH 关系，使路径查询能够穿过电阻追踪连接。

CircuitDoctor 处理的 .net 文件是 EDA 中的网表文件，用文本描述元件及引脚间的连接关系，不包含物理布局或封装细节。

CircuitDoctor 只能验证逻辑连接，无法获知实际 PCB 走线或元件内部电路。

CircuitDoctor 使用 Cypher 的 shortestPath 查询在 ON_NET 和 THROUGH 关系上搜索两个引脚之间的路径，找到后高亮显示。

CircuitDoctor 使用 algo.WCC（弱连通分量）识别电路结构图中的独立分组；独立分组不一定是故障。

CircuitDoctor 针对支持的开发板和显示屏提供额外检查，覆盖电源、地和 I2C 连接。

CircuitDoctor 当前支持的开发板包括 Arduino Uno R3 和经典 Nano，以及部分显示屏。

Gemini 在 CircuitDoctor 中提供对话式探索：当用户询问引脚连接或请求解释警告时，Gemini 调用工具查询 FalkorDB 中的电路，再基于返回证据解释结果。

电路仿真工具（如 SPICE）通过求解元件方程预测电压、电流和时序行为，需要元件模型参数和激励信号；接线检查仅验证网表中的连接关系是否符合设计规则或预期拓扑，不涉及数值计算。

CircuitDoctor 不模拟电流、不测量电阻、不建模元件时序， daher 无法发现电阻值选错、电源功率不足或信号时序冲突等问题。

CircuitDoctor 能够发现的结构性错误包括电源与地短路、引脚接反、缺少供电网络等。

清除警告意味着对应检查在修订文件中不再发现该问题，但不保证完整物理电路一定能工作，也不保证电路功能正常。

CircuitDoctor 的开发使用了 Codex 和 Claude Code 等 AI 编程助手，并通过自动化测试和浏览器检查验证实现。

CircuitDoctor 网站提供一对可下载的示例文件，让用户无需先创建 KiCad 项目就能体验完整流程。

CircuitDoctor 未来计划扩展元件覆盖范围，但当前版本聚焦于上传电路、理解连接、检查问题、核对修订文件的流程。