Claude Code는 Anthropic의 터미널에 존재하는 에이전틱 코딩 도구로, 아이디어를 보다 빠르게 코드로 전환하는 데 도움을 줍니다. 자율 계획, 실행, 검증 기능과 함께 스킬, 플러그인, MCP 서버 및 훅을 통한 확장성을 결합합니다. 다음 경우 사용하세요: - Claude Code f 이해하기...
당신이 되다
다음 시나리오에 적합
게재에 바로 사용할 수 있는 PDF/SVG 형식의 계통수를 생성합니다.
비교 게놈학 연구를 위해 직계 동질 유전체와 파라로그를 식별합니다.
계통발생나무에서 유전자 복제, 소실, 종 분화 사건을 감지합니다.
NCBI 분류법을 사용하여 계통수에 주석을 달아 진화적 통찰을 얻습니다.
측정된 효과
검증된 이점과 측정 가능한 영향
etetoolkit을 사용하여 수동 방식보다 10배 더 빠르게 대형 계통수를 조작하십시오.
자동화된 도구로 직계/병렬 상동성 분석 시간을 50% 단축하세요.
서식 오류 없이 출판 수준의 계통수를 생성합니다.
장착 내용
파일 · 태그 · 3단계 설치
팁: 처음 사용하기 전에 문서와 코드를 읽고 기능과 필요한 권한을 확인하세요.
다음 시나리오
태그 및 카테고리 기반 추천
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 키워드에서 트리거됩니다.