Manus에서 모든 스킬 실행
원클릭으로
원클릭으로
원클릭으로 Manus에서 모든 스킬 실행
시작하기GitHub 저장소
aria
aria에는 ZJU-PL에서 수집한 skills 8개가 있으며, 저장소 수준 직업 범위와 사이트 내 skill 상세 페이지를 제공합니다.
수집된 skills
8
Stars
15
업데이트
2026-05-10
Forks
5
직업 범위
직업 카테고리 4개 · 100% 분류됨
저장소 탐색
이 저장소의 skills
제작자/저장소/skill
skill
직업 분류
설명
업데이트
fstarmcp
소프트웨어 개발자
Use the F* MCP server for interactive, incremental typechecking of F* and Pulse code
2026-05-10
fstarverifier
소프트웨어 품질 보증 분석가·테스터
Verify F* and Pulse code with fstar.exe and interpret errors
2026-05-10
krmlextraction
소프트웨어 개발자
Extract verified F*/Pulse code to C via KaRaMeL (.krml intermediate representation)
2026-05-10
projectsetup
네트워크·컴퓨터 시스템 관리자
Structure a new F*/Pulse verification project with Makefile and directory layout
2026-05-10
proofdebugging
소프트웨어 품질 보증 분석가·테스터
Systematic workflows for debugging F*/Pulse verification failures
2026-05-10
smtprofiling
소프트웨어 품질 보증 분석가·테스터
Debug F* queries sent to Z3, diagnosing proof instability and performance issues
2026-05-10
sourcebuild
네트워크·컴퓨터 시스템 관리자
Build F*, Pulse, and KaRaMeL from source (fstar2 branch) for use in a verification project
2026-05-10
specreview
컴퓨터 시스템 분석가
Review F*/Pulse specifications for completeness, strength, and usability
2026-05-10