oaslananka/kicad-mcp-proConnectors
AI-ready MCP server for KiCad: automate schematic, PCB, ERC/DRC, DFM, BOM and manufacturing review from Claude, Cursor, Copilot and other AI agents.
82
Cognitohazard/
ltspice-mcp
Cognitohazard/ltspice-mcpConnectors
MCP server giving LLMs the ability to design, simulate, and analyze SPICE circuits via LTSpice and NGspice
41
gokeshenzhen/
awesome-formal-verification-skill
Open-source, agent-agnostic RTL formal verification skill library for AI coding agents: JasperGold FPV, SVA, proof optimization, and TCL workflows for Claude Code, Codex, Gemini CLI, and Cursor.
33
superbasedapp/
observer
Local-first control plane for AI coding agents — launch browser terminals, run and remotely control sessions, and track files, tokens & cost across Claude Code, Codex, Cursor, Gemini CLI and 20+ more. 100% local, no telemetry.
44