jserranohidalgo

3 repositories with Claude Code or Codex plugins.

curry-howard-game0
The Curry–Howard Game — play a proof and a program at once.
1 plugin · jserranohidalgo/curry-howard-game
jserranohidalgo0
Claude Code plugin for Open Knowledge Format (OKF) knowledge bundles that work the same across agent harnesses
1 plugin · jserranohidalgo/okf-plugin
noticia-urjc0
Plugin de Claude Code: redacción y publicación de noticias para la web y redes sociales de cualquier Escuela/Facultad de la URJC
1 plugin · jserranohidalgo/urjc.noticia-plugin