jpablo

jpablo/vibe-types

Plugin Claude Code

Plugin marketplace listing 1 plugin: vibe-types.

jpablo/vibe-types

Plugin Claude Code

Type system constraint guides for Python, Rust, Scala 3, Lean 4, and TypeScript — maps language features to the constraints they enforce at check/compile time.

jpablo/vibe-types

Skill Claude CodeCodex

Lean 4 compile-time safety techniques — dependent types, inductive types, type classes, termination checking, propositions as types, proof automation. Use this skill whenever the user writes Lean 4 code, mentions dependent types, asks about theorem proving, discusses inductive types, type classes, tactics (simp…

jpablo/vibe-types

Skill Claude CodeCodex

Python type-checking constraint techniques — annotations, Union, Literal, TypedDict, Protocol, generics, TypeGuard, Final, dataclasses. Use this skill whenever the user writes Python with type hints, mentions mypy or pyright, asks about typing module features, discusses Protocol, TypedDict, NewType, dataclasses…

jpablo/vibe-types

Skill Claude CodeCodex

Rust compile-time safety techniques — ownership, borrowing, lifetimes, traits, generics, Send/Sync, const generics. Use this skill whenever the user writes Rust code, mentions ownership or borrowing, asks about lifetime errors, discusses trait bounds, Send/Sync, derive macros, PhantomData, newtype patterns, or any…

jpablo/vibe-types

Skill Claude CodeCodex

Scala 3 compile-time safety techniques — opaque types, enums/ADTs/GADTs, givens, match types, inline, capture checking. Use this skill whenever the user writes Scala 3 code, mentions type safety, asks about compiler errors, discusses ADTs, opaque types, given instances, context functions, match types, extension…

jpablo/vibe-types

Skill Claude CodeCodex

TypeScript compile-time safety techniques — discriminated unions/exhaustive narrowing, structural typing, conditional types (keyof, infer, extends), mapped and utility types (Partial/Required/Readonly/Pick/Omit, DeepPartial), template literal types, branded/nominal types, satisfies/const assertions…

jpablo/vibe-types

Skill Claude CodeCodex

Verify every code snippet embedded in a markdown file for syntactic and type correctness, using the language-specific project under projects/. Use this skill proactively whenever the user asks to check, verify, validate, lint, or type-check code examples inside markdown — docs, tutorials, PR reviews of documentation…

jpablo/vibe-types

Skill Claude CodeCodex

Apply vibe-types catalog and use-case knowledge to refactor source files in place. Use when the user invokes /vibe-clean (or asks you to "vibe-clean" a file, directory, or branch) to systematically improve code using the techniques in the loaded vibe-types skill. Does NOT change observable behavior, public APIs, or…

jpablo/metals-standalone-client

Instructions file CodexOpenCode

AGENTS.md instructions for jpablo/metals-standalone-client, covering repository guidelines, project structure & module organization, build, test, and development commands, coding style & naming conventions and testing guidelines.

jpablo/metals-standalone-client

Instructions file

Claude Code instructions for jpablo/metals-standalone-client, covering claude.md, build commands, architecture, core components and key features.