Copperhead: 검증 우선 PCB 설계 AI 에이전트 (회로기판용 Cursor)
Show HN: Copperhead – Cursor for circuit boards
TL;DR Highlight
KiCad 검사를 통과해야 다음 단계로 가는 오픈소스 PCB 설계 에이전트
Who Should Read
하드웨어 설계에 LLM 에이전트를 붙여 문서와 회로도가 어긋나는 문제를 줄이고 싶은 임베디드·하드웨어 개발자
Core Mechanics
- 검증 통과 못 하면 멈춘다
- copperhead는 PCB 설계용 오픈소스 AI 에이전트이며 npm i -g copperhead로 설치한다.
- 단계마다 산출물이 디스크에 있어야 다음 단계로 넘어가고, 게이트가 실패하면 실행이 멈춘다.
- 8단계 파이프라인으로 돈다
- 스펙, 아키텍처, 부품, 회로도, 레이아웃, 출력, 펌웨어, 개발 계획 순서로 단계마다 별도 에이전트 실행이다.
- 단계마다 커밋을 하나씩 남긴다.
- 문서·회로도 어긋남(drift)이 핵심 문제
- 결정 하나가 회로도, BOM, 전력 예산, 문서에 흩어지는데 어긋나도 아무것도 깨지지 않는다고 설명한다.
- 불일치가 bring-up(첫 전원 인가·동작 확인) 때 발견되면 재제작 비용이 5,000~50,000달러, 6~8주라고 한다.
- 수정 전에 변경 제안부터 검증한다
- 검증된 변경 제안(validate_change)이 있기 전에는 설계 파일 편집을 거부한다.
- 문서화한 예산·제약을 깨는 변경은 위반할 줄을 인용하며 거부한다.
- 더러운 git 트리에서는 실행을 거부한다.
- KiCad 파일을 외과수술식으로 고친다
- KiCad s-expression 소스를 부분 수정해서 건드리지 않은 부분은 바이트 단위로 동일하게 유지한다.
Community Reactions
- tscircuit을 보라는 의견
- KiCad는 자동 배치·라우팅, 공급업체 풋프린트 방향 검사 같은 AI 생성용 기능을 염두에 두고 만들어지지 않았다는 의견이 있었다.
- 모두가 KiCad s-expression에 묶이는 것이 걱정이라는 의견이다.
- 일반 코딩 에이전트로 충분하지 않느냐는 반론
- Claude와 Gemini로 KiCad 회로도를 편집·디버그해 봤더니 꽤 괜찮았다는 경험이 있었다.
- Skidl 회로도는 일반 코딩 에이전트도 잘 다루고 레이아웃 리뷰도 잘한다는 의견이 있었다.
- 배치는 여전히 NP-hard라는 지적
- 진짜 질문은 LLM이 기존 자동 라우터를 이길 수 있느냐라는 의견이다.
- Astra를 주말에 써 봤더니 회로도 생성·수정과 배치·라우팅이 되었지만 라우팅은 만족스럽지 않았다는 경험이 있었다.
- 사이트 카피와 입력창 버그 불만
- AI가 쓴 듯한 홍보 문구가 거슬린다는 의견이 여럿이었다.
- 데스크톱 Chrome(macOS)에서 Start a board 입력창에 글자가 안 쳐진다는 제보가 있었다.
How to Apply
- 기존 설계 레포에 init만 돌려보기
- 깨끗한 git 트리의 KiCad 레포에서 npm i -g copperhead 후 copperhead init을 실행하라.
- 작은 변경 하나를 요청해 diff가 얼마나 작은지 확인하라.
- 우리 에이전트에도 단계 게이트 넣기
- 다단계 에이전트 파이프라인마다 산출물 파일 존재와 검사 통과를 다음 단계의 입력 조건으로 걸어라.
- 검사 실패 시 실행을 멈추고 커밋하지 마라.
- 편집 전 변경 제안 검증 단계 만들기
- 에이전트가 파일을 수정하기 전에 변경 제안을 먼저 쓰게 하고 문서화된 제약과 대조해라.
- 위반하면 어느 줄을 깨는지 인용해 거부하게 하라.
Try It
# Claude나 ChatGPT에 붙여넣기 (copperhead의 검증 우선 방식을 프롬프트로 옮긴 간이 버전)
너는 변경 전에 검증하는 설계 보조자다. 아래 설계 문서를 읽고 요청을 처리해라.
[설계 문서]
{{문서}}
[요청]
{{변경 요청}}
순서를 지켜라.
1. 변경 제안을 먼저 쓴다. 영향받는 문서·부품·예산을 나열한다.
2. 문서에 적힌 제약이나 예산을 깨면 위반하는 줄을 인용하고 멈춘다.
3. 통과하면 수정안을 낸다.
4. 마지막에 문서 간 불일치가 없는지 점검하고 결정 기록 한 줄을 쓴다.
이어서 해 볼 것: 일부러 예산을 깨는 요청을 넣어 거부하는지 확인해 봐라.Terminology
관련 논문
같은 시뮬레이션, 다른 근거: 도구 출력을 파일로 넘기면 LLM 에이전트 정확도가 어디서 깎이나
긴 툴 출력을 파일로 넘기자 GPT-5.1은 정확도 11.3%p 하락, 정식 출력 지정하니 회복
가짜 뉴스가 진짜 폭락을: LLM 트레이딩 에이전트 대상 정보 주입 공격
가짜 헤드라인 한 줄로 LLM 트레이딩 에이전트 62%를 조종했다(프롬프트 주입은 14%)
Harness Engineering 101: LLM은 뇌, harness는 몸
에이전트는 JSON 배열을 관리하는 루프이고, 16개 챕터로 직접 만들어 본다
Harness²: 에이전트 harness를 스스로 고쳐 쓰는 재귀 최적화 프레임워크
모델은 고정하고 harness를 재귀로 고쳤더니 벤치마크 점수가 최대 11.8%p 올랐다
해고된 Savannah 경찰관, ICE 요원 남편에게 Flock 계정 공유
경찰관이 Flock 계정을 남편(ICE 요원)에게 공유했고, 감사에서 983건 검색이 드러나 해고됐다
tmux와 Claude Code: 세션, send-keys, 그리고 한계선
tmux로 Claude Code 여러 개를 돌리면 편하지만 에이전트 4개쯤에서 한계가 온다
Hybrid Reasoning Agents: 잠재 공간에서 생각하고 텍스트로 행동하는 LLM 에이전트
잠재 공간 추론과 텍스트 도구 호출을 섞었더니 성능 10.4%↑, 토큰 최대 54.7%↓