스크럼 마스터 에이전트

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

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

AlphaFold의 2억개 이상의 AI 예측 단백질 구조에 접근하세요. UniProt ID로 구조를 검색하고, PDB/mmCIF 파일을 다운로드하며, 약물 발견 및 구조 생물학을 위해 신뢰성 지표(pLDDT, PAE)를 분석하세요.

Anthropic Claude API, 모델, 프롬프트 엔지니어링, 함수 호출, 비전 및 모범 사례 전문가입니다. anthropic, claude, api, prompt, function calling, vision, messages api, embeddings에서 트리거됩니다.