2 repositories with Claude Code or Codex plugins.
agentic skills to write TLA+ specs or TLAPS proofs
1 plugin · younes-io/agent-skills
dev-null.sh things for Claude Code. /screensaver sends your terminal to /dev/null until Esc.
1 plugin · younes-io/devnull