catalogue: io.pilot.redis v8.6.2 (Redis — local in-memory data store)#342
Open
Alexgodoroja wants to merge 1 commit into
Open
catalogue: io.pilot.redis v8.6.2 (Redis — local in-memory data store)#342Alexgodoroja wants to merge 1 commit into
Alexgodoroja wants to merge 1 commit into
Conversation
Add Redis 8.6.2 (local in-memory data store, native CLI for agents) to the app-store catalogue: 4-platform signed adapter bundles on prod R2, per-app metadata.json store page, publisher ed25519:QXvscny…, and a re-signed catalogue.json (valid against the catalogtrust anchor). App-template submission: pilot-protocol/app-template#55.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Catalogue entry: io.pilot.redis v8.6.2 (Redis)
Adds Redis 8.6.2 to the app-store catalogue — same shape as io.pilot.postgres/io.pilot.duckdb. App-template submission merged in pilot-protocol/app-template#55. The catalogue index is re-signed (valid against the embedded
catalogtrustanchor); 4-platform signed adapter bundles are on prod R2; the Redis binaries are delivered per-OS/arch from the registry and sha-pinned on install.Short description
Verified
pilotctl appstore install io.pilot.redis(sha256 OK) then the full lifecycle with real data — start → ping (PONG) → set/get → sorted sets (ZADD/ZRANGE) → pipelined stdin batch → INFO/DBSIZE → stop.ed25519:QXvscny…matches the signed bundle manifest.Long description (store page)
Redis (server + redis-cli) — native CLI for agents
This app installs the official Redis 8.6.2 server and client on the host and fronts them as
typed methods. The bundle is a relocatable build of Redis 8.6.2 (from conda-forge, AGPL-3.0)
carrying
redis-server,redis-cli,redis-benchmark,redis-check-rdb,redis-check-aof, andredis-sentinel; every binary is sha-pinned and staged at install, and a tinyredisdispatcher routeseach method to the right tool. Binaries are fetched from the Pilot artifact registry on macOS and Linux
(arm64 + amd64).
Redis is an in-memory data-structure store — strings, hashes, lists, sets, sorted sets, streams, plus
pub/sub and transactions. There is no cluster to provision: an agent starts a throwaway local server and
uses it as a cache, a fast key-value DB, or a coordination/queue primitive.
Run a Redis locally — the usual flow
redis.start{ "port": "6399", "dir": "/tmp" }— boots a daemonized server on127.0.0.1:6399, with pidfile/logfile/RDB underdir.redis.ping{ "port": "6399" }→PONG.redis.set/redis.get,redis.info,redis.dbsize, or any command viaredis.exec{ "args": ["redis-cli","-p","6399","ZADD","board","100","alice"] }.redis.stop{ "port": "6399" }.Methods
redis.start/redis.stop— local server lifecycle (daemonized; per-port pidfile/logfile).redis.ping— liveness (PONG).redis.info— full server INFO.redis.dbsize— key count.redis.set/redis.get— string get/set convenience.redis.exec— run any tool with a verbatim argv (+ optional stdin) — every Redis command, pipelinedbatches, benchmarks, RDB/AOF checks, sentinel.
redis.cli_help— the completeredis-cli --help.redis.version— the delivered version.redis.help— the self-describing method list.Configuration
port— TCP port for the local server (convention6399). Bound to127.0.0.1.dir— an existing writable directory for the pidfile, logfile, and RDB snapshot; pass/tmpfor athrowaway server, or a path you control for persistence (the RDB lives at
<dir>/dump.rdb).redis.stopdoesSHUTDOWN NOSAVE; runredis.execwithSAVE/BGSAVEfirst if youneed the dataset on disk. Any redis.conf directive is reachable as a
--flagviaredis.exec(redis-server --port ... --maxmemory 256mb --maxmemory-policy allkeys-lru ...).--requirepass(viaredis.execon start) and pass thepassword through the
REDISCLI_AUTHenv var (forwarded to the child) or-aonredis.exec.Good to know
{stdout, stderr, exit}.redis-cli / redis-server help