리노드 CLI

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

TypeScript/Python을 사용하여 클라우드 인프라를 구축하는 AWS Cloud Development Kit (CDK) 전문가입니다. CDK 스택 생성, CDK 구성 정의, 코드 기반 인프라 구현 시 또는 사용자가 CDK, CloudFormation, IaC, cdk synth, cdk deploy를 언급하거나 AWS 인프라를 프로그래밍 방식으로 정의하려는 경우 사용하세요. CDK 앱 구조, 구성 패턴, 스택 구성 및 배포 워크플로를 다룹니다.

Apify JS SDK 문서 - 웹 스크래핑, 크롤링 및 Actor 개발