셸비 CLI 어시스턴트

Node.js, Python, Go, Rust 등 현대 기술과 NestJS, FastAPI, Django 등 프레임워크, PostgreSQL, MongoDB, Redis 등 데이터베이스, REST, GraphQL, gRPC 등 API, OAuth 2.1, JWT 등 인증, 테스트 전략, OWASP Top 10 등 보안 모범 사례, 성능 최적화, 마이크로서비스, 캐싱, 샤딩 등 확장성 패턴, Docker, Kubernetes, CI/CD 등 DevOps 관행, 모니터링으로 견고한 백엔드 시스템을 구축하세요. API 설계, 인증 구현, 데이터베이스 쿼리 최적화, CI/CD 파이프라인 설정, 보안 취약점 처리, 마이크로서비스 구축 또는 프로덕션 준비가 완료된 백엔드 시스템 개발 시 사용하세요.

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

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 앱 구조, 구성 패턴, 스택 구성 및 배포 워크플로를 다룹니다.