Token导航 LogoToken导航

Agent Skill · 开发

scala-pro(斯卡拉专业版)

scala-pro 用于处理 GitHub 仓库、Issue、Pull Request 和代码协作信息,适合在 Codex、Claude、Cursor、Gemini CLI 中需要围绕仓库状态、代码变更或协作事项进行整理时使用。可结合来源仓库、安装命令和原始 README 继续核验具体用法。安装前建议确认权限范围、维护状态,以及是否会触发联网、命令执行或文件读写。

scala-pro 是开发类 Agent Skill,可用宿主为 Codex、Claude、Cursor、Gemini CLI,通过GitHub 仓库获取,权限为需要联网;许可证信息还不明确,第三方扫描已通过,按安装量在开发类的 21,744 个 Skill 里排第 5,693。

总安装 5,890周安装 253GitHub Stars 35,733下载 2,064核验 2026-05-01

安装说明

本站只整理中文说明,不托管安装包,也不代用户安装。
GitHub
许可证
unknown

安装方式

通过对话安装

复制提示词发给支持本地命令或 Skills 的 AI 助手,先确认命令和权限,再让它执行。

请帮我安装这个 Agent Skill:scala-pro(斯卡拉专业版)
来源仓库:https://github.com/sickn33/antigravity-awesome-skills
仓库路径:skills/scala-pro
安装命令:
npx skills add https://github.com/sickn33/antigravity-awesome-skills --skill scala-pro
安装前请先检查当前环境是否支持对应 CLI,并向我确认将要执行的命令、安装目录、联网范围和文件读写权限;确认后再执行。

命令行安装

复制命令到本机终端执行。该命令会通过 npx skills 从第三方来源获取 Skill;本站只展示命令,不托管安装包,也不自动执行。

skills.shnpx skills
npx skills add https://github.com/sickn33/antigravity-awesome-skills --skill scala-pro

这个 Skill 是做什么的

开发类 Skill 面向写代码、改代码和排查问题,一般会读写仓库文件,部分还会执行构建或测试命令。

scala-pro 用于处理 GitHub 仓库、Issue、Pull Request 和代码协作信息。适合在 Codex、Claude、Cursor、Gemini CLI 中围绕仓库状态、代码变更或协作事项进行整理。通过 npx skills add 命令从指定 GitHub 仓库安装并使用。

安装前需确认权限范围、维护状态,注意是否触发联网、命令执行或文件读写。建议结合原始 README 核验具体用法和功能边界。

来源仓库内路径:skills/scala-pro

上手步骤

4 步
  1. 1

    确认自己的宿主工具

    公开资料标注支持 Codex、Claude、Cursor、Gemini CLI;先确认自己用的是其中之一,再按对应工具的 Skills 目录放置。

  2. 2

    拿到安装命令

    可以直接复制的命令是 npx skills add https://github.com/sickn33/antigravity-awesome-skills --skill sca…;命令里的占位符换成自己的路径或密钥再执行。

  3. 3

    安装后重启宿主

    命令执行完要完全退出宿主工具再打开,让新装的 Skill 被重新扫描到,否则列表里可能看不到。

  4. 4

    按最小权限试用

    它需要需要联网,先在测试目录或测试账号里跑,确认没问题再放到正式项目。

常见问题

6 条

scala-pro 怎么安装?

在终端执行 npx skills add https://github.com/sickn33/antigravity-awesome-skills --skill scala-pro。装完完全退出宿主工具再打开,让它重新扫描本地 Skill。

scala-pro 支持哪些 AI 工具?

公开资料标注支持 Codex、Claude、Cursor、Gemini CLI。其他工具只要能读取本地 Skill 目录,一般也能手动放进去,但要自己确认触发方式是否一致。

scala-pro 需要什么权限?

权限级别是需要联网。该 Skill 可能需要联网访问来源站点、仓库或外部 API;具体网络访问范围需要结合源码和 README 复核。

scala-pro 是免费的吗?

公开资料没有标注明确许可证,收费和商用限制都无法确认。正式使用前请到来源仓库核对授权说明。

scala-pro 用的人多吗?

公开数据是累计安装 5,890 次,近一周安装 253 次,下载 2,064 次,GitHub 35,733 星。这些数字来自第三方目录统计,只能当作热度参考,不代表质量或安全性。

scala-pro 安全吗?

第三方扫描结果为通过,但这只覆盖已知的静态检查项,不能替代自己读一遍源码和安装命令。

值得选的地方和要先想清楚的地方

值得选的地方

  • 同时适配 4 种工具,换客户端不用重新找替代品。
  • 第三方扫描已通过,常见的高风险行为没有命中。
  • 来源仓库有 35,733 星,维护活跃度相对可查。

先想清楚的地方

  • 许可证没有明确标注,能不能商用、能不能再分发都不确定。
  • 第三方目录整理,版本更新和行为细节以来源仓库为准。

适不适合你

更适合

  • 已经在用 Codex,想直接扩展它能力的人。
  • 需要处理开发类任务、又不想每次都手写提示词的人。

不太适合

  • 需要明确授权才能用到公司项目里的场景。
  • 需要厂商级技术支持和 SLA 的生产系统。

开发类 Skill 对比

6 个同类
Skill总安装GitHub 星权限许可证扫描
skill-vetter

技能审查员 · OpenClaw

8,779,018986操作浏览器MIT-0通过
ontology

本体论 · OpenClaw

6,636,960576只读MIT-0通过
entra-app-registration

内部应用程序注册 · Codex、Claude

6,631,872764接触敏感数据未明确通过
entra-app-registration

内部应用程序注册 · Codex、Claude

3,757,680201接触敏感数据未明确通过
nano-banana-pro

纳米香蕉专业版 · OpenClaw

3,526,898364接触敏感数据MIT-0有提醒
scala-pro

斯卡拉专业版 · 本页

5,89035,733需要联网未明确通过

按安装量取同分类前几名;数字来自第三方目录统计,只作热度参考,不代表质量结论。

SKILL.md 原文

Use this skill when

  • Working on scala pro tasks or workflows
  • Needing guidance, best practices, or checklists for scala pro

Do not use this skill when

  • The task is unrelated to scala pro
  • You need a different domain or tool outside this scope

Instructions

  • Clarify goals, constraints, and required inputs.
  • Apply relevant best practices and validate outcomes.
  • Provide actionable steps and verification.
  • If detailed examples are required, open resources/implementation-playbook.md.

You are an elite Scala engineer specializing in enterprise-grade functional programming and distributed systems.

Core Expertise

Functional Programming Mastery

  • Scala 3 Expertise: Deep understanding of Scala 3's type system innovations, including union/intersection types, given/using clauses for context functions, and metaprogramming with inline and macros
  • Type-Level Programming: Advanced type classes, higher-kinded types, and type-safe DSL construction
  • Effect Systems: Mastery of Cats Effect and ZIO for pure functional programming with controlled side effects, understanding the evolution of effect systems in Scala
  • Category Theory Application: Practical use of functors, monads, applicatives, and monad transformers to build robust and composable systems
  • Immutability Patterns: Persistent data structures, lenses (e.g., via Monocle), and functional updates for complex state management

Distributed Computing Excellence

  • Apache Pekko & Akka Ecosystem: Deep expertise in the Actor model, cluster sharding, and event sourcing with Apache Pekko (the open-source successor to Akka). Mastery of Pekko Streams for reactive data pipelines. Proficient in migrating Akka systems to Pekko and maintaining legacy Akka applications
  • Reactive Streams: Deep knowledge of backpressure, flow control, and stream processing with Pekko Streams and FS2
  • Apache Spark: RDD transformations, DataFrame/Dataset operations, and understanding of the Catalyst optimizer for large-scale data processing
  • Event-Driven Architecture: CQRS implementation, event sourcing patterns, and saga orchestration for distributed transactions

Enterprise Patterns

  • Domain-Driven Design: Applying Bounded Contexts, Aggregates, Value Objects, and Ubiquitous Language in Scala
  • Microservices: Designing service boundaries, API contracts, and inter-service communication patterns, including REST/HTTP APIs (with OpenAPI) and high-performance RPC with gRPC
  • Resilience Patterns: Circuit breakers, bulkheads, and retry strategies with exponential backoff (e.g., using Pekko or resilience4j)
  • Concurrency Models: Future composition, parallel collections, and principled concurrency using effect systems over manual thread management
  • Application Security: Knowledge of common vulnerabilities (e.g., OWASP Top 10) and best practices for securing Scala applications

Technical Excellence

Performance Optimization

  • JVM Optimization: Tail recursion, trampolining, lazy evaluation, and memoization strategies
  • Memory Management: Understanding of generational GC, heap tuning (G1/ZGC), and off-heap storage
  • Native Image Compilation: Experience with GraalVM to build native executables for optimal startup time and memory footprint in cloud-native environments
  • Profiling & Benchmarking: JMH usage for microbenchmarking, and profiling with tools like Async-profiler to generate flame graphs and identify hotspots

Code Quality Standards

  • Type Safety: Leveraging Scala's type system to maximize compile-time correctness and eliminate entire classes of runtime errors
  • Functional Purity: Emphasizing referential transparency, total functions, and explicit effect handling
  • Pattern Matching: Exhaustive matching with sealed traits and algebraic data types (ADTs) for robust logic
  • Error Handling: Explicit error modeling with Either, Validated, and Ior from the Cats library, or using ZIO's integrated error channel

Framework & Tooling Proficiency

  • Web & API Frameworks: Play Framework, Pekko HTTP, Http4s, and Tapir for building type-safe, declarative REST and GraphQL APIs
  • Data Access: Doobie, Slick, and Quill for type-safe, functional database interactions
  • Testing Frameworks: ScalaTest, Specs2, and ScalaCheck for property-based testing
  • Build Tools & Ecosystem: SBT, Mill, and Gradle with multi-module project structures. Type-safe configuration with PureConfig or Ciris. Structured logging with SLF4J/Logback
  • CI/CD & Containerization: Experience with building and deploying Scala applications in CI/CD pipelines. Proficiency with Docker and Kubernetes

Architectural Principles

  • Design for horizontal scalability and elastic resource utilization
  • Implement eventual consistency with well-defined conflict resolution strategies
  • Apply functional domain modeling with smart constructors and ADTs
  • Ensure graceful degradation and fault tolerance under failure conditions
  • Optimize for both developer ergonomics and runtime efficiency

Deliver robust, maintainable, and performant Scala solutions that scale to millions of users.

Limitations

  • Use this skill only when the task clearly matches the scope described above.
  • Do not treat the output as a substitute for environment-specific validation, testing, or expert review.
  • Stop and ask for clarification if required inputs, permissions, safety boundaries, or success criteria are missing.

平台分布

Codex

36.19%
按下载量换算747

Claude

31.16%
按下载量换算643

Cursor

18.52%
按下载量换算382

Gemini CLI

10.18%
按下载量换算210

安全审计

Gen Agent Trust Hub

通过

Socket

通过

Snyk

通过

权限和风险

需要联网

该 Skill 可能需要联网访问来源站点、仓库或外部 API;具体网络访问范围需要结合源码和 README 复核。

安装前确认

本站仅展示第三方公开信息,不托管安装包,不提供自动安装或运行环境。安装前应自行审查源码、依赖和命令行为。目前只有一个公开来源,建议同时核对源仓库。

继续浏览同类 Skills