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 仓库获取,权限为需要联网;许可证为 MIT,第三方扫描已通过,按安装量在开发类的 21,746 个 Skill 里排第 14,450。

总安装 703周安装 29GitHub Stars 692下载 230核验 2026-05-01

安装说明

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

安装方式

通过对话安装

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

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

命令行安装

复制命令到本机终端执行。不同来源提供的安装方式可能略有差异;本站展示可直接复制的安装命令,安装前请核对来源页面。

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

这个 Skill 是做什么的

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

scala-pro 提供 Scala 专业开发技能支持与常见问题解答。适用于复杂系统建模、并发处理与高可用性设计参考。通过 npx skills add 命令从 antigravity-skills 仓库安装调用。需评估技能适用范围与团队技术栈匹配度。

scala-pro 属于开发类 Skill,可作为该场景下的辅助能力补充。建议结合实际代码审查结果调整实现细节。

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

上手步骤

4 步
  1. 1

    确认自己的宿主工具

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

  2. 2

    拿到安装命令

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

  3. 3

    安装后重启宿主

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

  4. 4

    按最小权限试用

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

常见问题

6 条

scala-pro 怎么安装?

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

scala-pro 支持哪些 AI 工具?

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

scala-pro 需要什么权限?

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

scala-pro 是免费的吗?

来源标注的许可证是 MIT。本站不代收任何费用,也不托管安装包;能否商用、要不要署名,以许可证原文为准。

scala-pro 用的人多吗?

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

scala-pro 安全吗?

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

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

值得选的地方

  • 同时适配 4 种工具,换客户端不用重新找替代品。
  • 3 个目录同时收录,说明这个 Skill 流传比较广。
  • 许可证明确为 MIT,商用和分发边界好判断。
  • 第三方扫描已通过,常见的高风险行为没有命中。

先想清楚的地方

  • 第三方目录整理,版本更新和行为细节以来源仓库为准。

适不适合你

更适合

  • 已经在用 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

斯卡拉专业版 · 本页

703692需要联网MIT通过

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

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.

平台分布

Claude Code

25.85%
按下载量换算59

Cursor

23.31%
按下载量换算54

Codex

18.56%
按下载量换算43

Antigravity

12.22%
按下载量换算28

windsurf

7.56%
按下载量换算17

OpenCode

3.13%
按下载量换算7

安全审计

Gen Agent Trust Hub

通过

Socket

通过

Snyk

通过

权限和风险

需要联网

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

安装前确认

本站仅展示第三方公开信息,不托管安装包,不提供自动安装或运行环境。安装前应自行审查源码、依赖和命令行为。

继续浏览同类 Skills