OpenAgentSkill
GitHub200+

OPENAGENTSKILL / DIRECTORY

AI Agent Skills

다음 작업에 맞는 스킬을 찾아보세요. Codex, Claude Code, Cursor 등을 지원합니다.

검색 결과 · “beam-splitter”

2 Skills

브라우저 및 자동화초기화

검색 결과: 2

사이트 다운로드

2026년 10월 14일부터 이 사이트가 반환한 파일입니다. 로그인 계정별로 같은 Skill은 UTC 하루에 한 번 집계합니다. 외부 다운로드, 명령 복사, 설치는 제외합니다. 최대 5분 지연됩니다.

브라우저 및 자동화

No visual example yet

Explore the skill

rocq-beam

leanprover

Use this when an AI needs the optional Rocq goal-probe surface exposed through the installed `lean-beam` wrapper while porting Rocq developments to Lean.

가격 미확인브라우저 및 자동화Claude Code
27GitHub
스킬 보기0사이트 다운로드

가이드 및 비교

개발자용