피어 리뷰

Claude Code agent 생성 시스템은 강화된 YAML 프론트매터, 도구 접근 패턴, 그리고 검증된 프로덕션 패턴을 따르는 MCP 통합 지원과 함께 사용자 정의 에이전트와 서브에이전트를 생성합니다

공개 agents.md 규약에 따라 AGENTS.md 파일을 생성하고 유지하세요. AI 에이전트 워크플로에 대한 문서 작성, 온보딩 가이드, 또는 프로젝트 간 에이전트 상호작용 패턴을 표준화할 때 사용하세요.

Move Prover 정형 검증 전문가 - 스펙 언어 (MSL), 전제 조건, 사후 조건, 불변량, aborts_if, ensures, requires, modifies, emits, 전역 불변량, 스키마 패턴, 양화자, 헬퍼 함수, 프라그마 지시문, 검증 전략, 그리고 증명 디버깅. 키워드 move prover, formal verification, spec, invariant, ensures, requires, aborts_if, precondition, postcondition, quantifier, schema, pragma에 반응합니다.

자동화된 단백질 테스트 및 검증을 위한 클라우드 실험실 플랫폼입니다. 단백질을 설계하고 결합 분석, 발현 테스트, 열안정성 측정, 효소 활성 분석 또는 단백질 서열 최적화를 포함한 실험적 검증이 필요할 때 사용하세요. 또한 API를 통해 실험을 제출하고, 실험 상태를 추적하며, 결과를 다운로드하고, 계산 도구(NetSolP, SoluProt, SolubleMPNN, ESM)를 사용하여 발현을 개선하기 위해 단백질 서열을 최적화하거나, 습식 실험 검증을 통한 단백질 설계 워크플로를 관리할 때도 사용하세요.