input-output-hk/agda-claude-skills
Claude skills for working with Agda code
Claude skills for working with Agda code
npx skills add input-output-hk/agda-claude-skillsClaude skills for working with Agda code
A Claude Code workspace template with AI skills for JIRA, PRs, code review, estimation, and daily standups
Automate Currents API tasks via Rube MCP (Composio). Always search tools first for current schemas.
kimlawtech/korean-jangbu-for (Apache-2.0) 업스트림을 중심으로 한국 스타트업·1인 법인·프리랜서·개인사업자 장부 자동화와 사업자 세무 자료 정리, 원본 데이터 가져오기, 계정과목 태깅, 세무사 전달 CSV, 경영 리포트 생성을 안내하는 thin wrapper 스킬.
Terminal-native File Agent Platform
Automate Shorten Rest tasks via Rube MCP (Composio). Always search tools first for current schemas.
Draft and review professional emails that match your personal writing style. Analyzes your sent emails for tone, greeting, structure, and sign-off patterns via WorkIQ, then generates context-aware drafts for any recipient. USE FOR: draft email, write email, compose email, reply email, follow-up email, analyze email tone, email style.