{ "checker": { "claims": [ { "claim": "The string tools can set a value with an expiration time", "command": "uv run redis-mcp-server --url redis://localhost:6379/0 tools/call {\"tool\": \"set\", \"arguments\": {\"key\": \"coldpass:claim:session\", \"value\": \"session-42\", \"expiration\": 120}}", "evidence": "Successfully set coldpass:claim:session with expiration 120 seconds\"}], \"structuredContent\": {\"result\": \"Successfully set coldpass:claim:session with expiration 120 seconds\"}, \"isError\": false}", "expected": "Successfully set coldpass:claim:session with expiration 120 seconds", "input": "{\"tool\": \"set\", \"arguments\": {\"key\": \"coldpass:claim:session\", \"value\": \"session-42\", \"expiration\": 120}}", "kind": "claim", "outcome": "Real input produced the expected result: Successfully set coldpass:claim:session with expiration 120 seconds", "source": "- `string` tools to set, get strings with expiration.", "source_checked": true, "source_file": "README.md", "verdict": "yes" } ], "cycle_checks": [ { "claim": "Scheduled or looping main behavior", "command": "", "evidence": "Entry points inspected (src/main.py, pyproject scripts, README). The server is a stdio MCP server that only runs when a client launches it and makes tool calls; there is no built-in cron, scheduler, loop, --once or --now flag, or webhook trigger in the product.", "expected": "identify the product trigger", "input": "source inspection", "kind": "cycle", "outcome": "Entry points inspected (src/main.py, pyproject scripts, README). The server is a stdio MCP server that only runs when a client launches it and makes tool calls; there is no built-in cron, scheduler, loop, --once or --now flag, or webhook trigger in the product.", "source": "repository entry points", "verdict": "yes" } ], "details": { "argv": [ "uv", "run", "redis-mcp-server", "--url", "redis://localhost:6379/0" ], "kind": "mcp", "scope": "product operation", "serverInfo": { "name": "Redis MCP Server", "version": "1.30.0" }, "tool_result": { "content": [ { "text": "Successfully set coldpass:probe:greeting with expiration 300 seconds", "type": "text" } ], "isError": false, "structuredContent": { "result": "Successfully set coldpass:probe:greeting with expiration 300 seconds" } }, "tool_result_checked": true, "tool_schema_bytes": 38210, "tools": [ "hset", "hget", "hdel", "hgetall", "hexists", "set_vector_in_hash", "get_vector_from_hash", "json_set", "json_get", "json_del", "lpush", "rpush", "lpop", "rpop", "lrange", "llen", "lrem", "delete", "type", "expire", "rename", "scan_keys", "scan_all_keys", "search_redis_documents", "publish", "subscribe", "psubscribe", "read_messages", "unsubscribe", "get_indexes", "get_index_info", "get_indexed_keys_number", "create_vector_index_hash", "vector_search_hash", "hybrid_search", "dbsize", "info", "client_list", "sadd", "srem", "smembers", "zadd", "zrange", "zrem", "xadd", "xrange", "xdel", "xgroup_create", "xgroup_destroy", "xreadgroup", "xack", "set", "get" ], "working": true }, "evidence_strength": "readme_checked", "example_checks": [ { "claim": "Repository test suite runs and passes (CI test command)", "command": "uv run pytest tests/ -v", "deferred": false, "evidence": " 30 0 100%\nsrc/tools/sorted_set.py 30 0 100%\nsrc/tools/stream.py 72 0 100%\nsrc/tools/string.py 39 4 90%\nsrc/version.py 1 0 100%\n--------------------------------------------------------\nTOTAL 1056 125 88%\nCoverage HTML written to dir htmlcov\nCoverage XML written to file coverage.xml\nRequired test coverage of 80% reached. Total coverage: 88.16%\n============================= 345 passed in 16.24s =============================", "expected": "all tests pass", "input": "uv run pytest tests/ -v", "kind": "example", "outcome": "command completed successfully", "returncode": 0, "source": ".github/workflows/ci.yml", "verdict": "yes" } ], "status": "PASS" }, "deviations": [ "Guest system Python is 3.12.3, but the README requires Python 3.14 (badge and dev install). Installed 3.14.9 with uv instead.", "Redis was not installed; installed redis-server 7.0.15 via apt-get (the README gives no Redis install command). Redis was already answering PONG on localhost:6379 when checked.", "CI's 'uv add --dev pytest ...' step was skipped to avoid modifying pyproject.toml/uv.lock; pytest is already in the dev dependency group, so 'uv run pytest tests/ -v' ran directly.", "README 'Testing' section (MCP Inspector via npx) was not run: it is an interactive UI, not a finite check.", "Not run: examples/redis_assistant.py (needs OPENAI_API_KEY, an external credential), Docker build, Azure EntraID flows, Claude Desktop/VS Code integrations (client configs, not product behavior).", "No product scheduler/cycle exists; cycles.json has detected:false." ], "fault_owner": null, "main_blocker": null, "operation": "Run the Redis MCP Server (stdio) from a development install and call its string 'set' tool against a live Redis, reading back the confirmation; plus the repo's CI pytest suite.", "operation_scope": "Linux guest (Ubuntu, WSL2 kernel), Python 3.14.9 via uv, local Redis 7.0.15 on 127.0.0.1:6379 (apt redis-server). No Docker, no cloud/EntraID, no browser, no OpenAI key.", "outcome": "working", "plain_failure": null, "steps": [ "git init; git remote add origin https://github.com/redis/mcp-redis; git fetch --depth 1 origin 0506f6b62e109c4364d92ca390d13fc15e9c202f; git reset --mixed FETCH_HEAD", "sudo apt-get -o DPkg::Lock::Timeout=300 install -y redis-server", "uv python install 3.14 (installed 3.14.9)", "uv venv --python 3.14", "uv sync", "uv run redis-mcp-server --help", "uv run redis-mcp-server --url redis://localhost:6379/0 (stdio MCP server; tools/call set returned 'Successfully set coldpass:probe:greeting with expiration 300 seconds')", "uv run pytest tests/ -v (CI test command without the uv add step): 345 passed, 88% coverage" ], "stuck_step": null, "suggested_fix": null }