I built a public skill registry and MCP server so Codex can install new skills