8000 GitHub - alexandru/skills · GitHub
[go: up one dir, main page]

Skip to content
alexandruPublic

About

No description, website, or topics provided.

Resources

Stars

51 stars

Watchers

4 watching

Forks

Latest commit

 

History

77 Commits

Folders and files

Repository files navigation

Skills Repository

This is a collection of skills for use with AI Agents. See:

Part of alexandru/agents-config.

Usage

Every skill is a plain SKILL.md folder under a category directory in skills/: engineering/, coding/, or tools/.

Claude Code
claude plugin install alexandru-skills --marketplace alexandru/skills

Skills then run as /alexandru-skills:<skill-name>; refresh with claude plugin marketplace update alexandru.

GitHub Copilot
gh skill install alexandru/skills skills/coding/arrow-resource/SKILL.md
OpenAI Codex
codex plugin marketplace add alexandru/skills
codex plugin add alexandru-skills@alexandru
Any other agent

With the skills CLI:

npx skills add https://github.com/alexandru/skills

or copy a skill folder into your agent's skills directory.

Skills

Engineering

  • code-refine: User-invoked refinement of a scope in rounds until they converge, using code-refinements (source)
  • code-refinements: What refined code looks like: the three lenses plus rules for type proofs, no partial calls, explicit signatures, unrepresentable wrong states, and hot paths (source)
  • code-review: User-invoked adapter for code-reviewing
  • code-reviewing: Review changed code for bugs, structural problems, performance issues, and unintended behavior

Coding

  • akka-streams: Akka Streams and Pekko Streams reactive streaming patterns and testing
  • arrow-resource: Arrow Resource lifecycle discipline, context-parameter builders, and arrow-autoclose fallback patterns
  • arrow-typed-errors: Context-parameter Raise DSL, efficient Either composition, and validation guidance
  • cats-effect-resource: Cats Effect Resource leak prevention, factory, lifecycle, and Java interop guidance
  • cats-effect-io: Cats Effect IO side-effect suspension, typeclass, testing, fiber, and race guidance
  • cats-mtl-typed-errors: Scala typed errors using Cats MTL Raise/Handle and allow/rescue
  • compose-state-hoisting: Compose state hoisting and state ownership guidance
  • jspecify-nullness: JSpecify nullness annotations for Java APIs and tooling
  • kotlin-context-parameters: Kotlin context parameter syntax, patterns, and migration guidance
  • kotlin-java-library: Kotlin library API design for Java consumers, JVM annotations, records, and compatibility
  • scala-kindlings-derivation: Scala Kindlings auto-derivation for Circe and PureConfig instances

Tools

  • create-skill: Guide for creating effective agent skills
  • external-research: External documentation, public repository, and dependency-artifact research with a persistent cache of Git clones and Maven artifacts
  • mcp-access: Call MCP servers when native MCP tools are unavailable or restricted: inspector CLI fallback, then raw JSON-RPC over stdio or HTTP

Testing

Each skill's references include guidance for representative requests. Skill-specific examples are type-checked by bundled scripts/verify-examples.* files inside each skill directory. Root templates/ files include Kotlin, Scala, and Java harness templates only and are not referenced by installed skills.

License

MIT

About

No description, website, or topics provided.

Resources

Stars

51 stars

Watchers

4 watching

Forks

Releases

Packages

Contributors

Languages

0