Mcp 매니지먼트

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에 반응합니다.

Aptos에서 Move 스마트 컨트랙트 테스트 전문가로, 단위 테스트, 통합 테스트, Move Prover 정형 검증, 디버깅 전략 및 테스트 커버리지에 대한 내용을 다룹니다. move test, unit test, integration test, move prover, formal verification, debug, coverage, assert, expect 키워드에서 트리거됩니다.

이 기술은 분류, 회귀, 클러스터링, 예측, 이상 탐지, 분할 및 유사성 검색을 포함한 시계열 머신러닝 작업에 사용해야 합니다. 표준 ML 접근법을 넘어 전문 알고리즘이 필요한 시간적 데이터, 순차 패턴 또는 시간 인덱스 관측을 처리할 때 사용하세요. 특히 scikit-learn과 호환되는 API로 단변량 및 다변량 시계열 분석에 적합합니다.