Productividad del desarrollador

Redis Core

Redis, Inc.MITIdioma del Skill: Inglés
Licencia verificadaSin scripts
DemostraciónEjecución real · claude-sonnet-5-5 · octubre de 2026
I'm building a game leaderboard and a user profile cache on Redis. Right now our devs store each user as a JSON string under keys like 'User_1001_Profile' and update the email by fetching, parsing and rewriting the whole string. How should I model this, and what should the keys look like?
Skill: redis-core

Recommendation

Profile cache: use a Hash per user. Leaderboard: use a Sorted Set per board.

User profile: Hash

The JSON string forces fetch, parse, mutate and rewrite for every change. A Hash lets you touch one field at a time:

HSET user:1001:profile name "Ada" email "[email protected]" level 42 country "DE"

HSET  user:1001:profile email "[email protected]"   # update one field, no read needed
HGET  user:1001:profile email                      # read one field
HGETALL user:1001:profile                          # read everything
HINCRBY user:1001:profile level 1                  # atomic numeric update
EXPIRE user:1001:profile 3600                      # TTL, since this is a cache

This is atomic, needs no read-modify-write cycle, and avoids lost updates when two writers race. It also sends far less data over the wire.

Hashes hold flat field/value pairs. If the profile has nested data, such as arrays of items or sub-objects, use the JSON type (JSON.SET user:1001:profile $.address.city '"Berlin"'). Otherwise a Hash is simpler and lighter. You can also keep rarely changed nested parts in a separate key, for example user:1001:settings.

Leaderboard: Sorted Set

ZADD   game:space-invaders:leaderboard 12500 user:1001   # set/update score
ZINCRBY game:space-invaders:leaderboard 300 user:1001     # add points atomically
ZREVRANGE game:space-invaders:leaderboard 0 9 WITHSCORES  # top 10
ZREVRANK  game:space-invaders:leaderboard user:1001       # a player's rank

The member should be the user ID, not the whole profile. To render the board, take the top N IDs and fetch each profile with HMGET or HGETALL, pipelined.

Key naming

Use lowercase, colon-separated keys in the form {entity}:{id}:{attribute}. User_1001_Profile breaks that convention in casing, separators and order.

Purpose Key
Profile user:1001:profile
Settings user:1001:settings
Global leaderboard game:space-invaders:leaderboard
Periodic board game:space-invaders:leaderboard:2026-w43
Session session:abc123

Further tips:

  • Keep keys short, because they live in memory and appear in every command.
  • Pick one convention and apply it everywhere.
  • If you're multi-tenant, prefix with the tenant (tenant:42:user:1001:profile). That makes scans and ACLs easy to scope.
  • Time-bucketed leaderboard keys such as weekly or daily boards can be expired or rotated with EXPIRE.

Migration

  1. Write a one-off script that reads each User_*_Profile string, parses it and does HSET user:{id}:profile ....
  2. Have the app write to the new keys, or dual-write briefly.
  3. Delete the old keys once reads are fully switched over. Use SCAN for this, never KEYS.

I can sketch the migration script or the client code in Python or Java if that would help.

Pure-instruction skill, so the trial gave the model only the Skill and Read tools: no network, no shell, no Redis server. The request mixes a data-model question with a key-renaming question.

Qué hace
Ayuda al modelo a estructurar datos en Redis siguiendo las recomendaciones de Redis, Inc.: elige el tipo según el patrón de acceso y usa claves breves, en minúsculas y separadas por dos puntos, como user:1001:profile.

Cómo funciona

  1. Una tabla de decisión asigna casos de uso (contadores, objetos, colas, conjuntos únicos, clasificaciones, datos anidados, registros de eventos y vectores) a tipos de Redis.
  2. Señala el antipatrón habitual de guardar un objeto plano como una sola cadena serializada y muestra la alternativa Hash en Python (redis-py) y Java (Jedis).
  3. Da reglas de nombres de claves: {entity}:{id}:{attribute}, sin espacios ni mezcla de mayúsculas y minúsculas, sin URL como claves y con un prefijo de inquilino en aplicaciones multiinquilino.

Para qué sirve
Diseñar un modelo de datos Redis, almacenar objetos o sesiones en caché, crear contadores y clasificaciones y corregir nombres de claves incoherentes.

Límites
Una Skill breve (unos 7 KB con dos archivos de referencia). Solo cubre tipos de datos y nombres de claves; no cubre clústeres, persistencia ni búsquedas.

Notas y riesgos

Riesgo bajo: solo contiene archivos de instrucciones del repositorio oficial de Redis (MIT). Sin scripts, acceso a la red ni escritura de archivos; no necesita cuenta ni clave. Solo asesora, no se conecta a tu Redis. Contrasta cualquier consejo de migración con tus datos antes de ejecutarlo.

SKILL.md original4 archivos en este paquete