Skip to content

Add Redis MCP server documentation#731

Open
dankelleher wants to merge 2 commits intomainfrom
add-redis-server-docs
Open

Add Redis MCP server documentation#731
dankelleher wants to merge 2 commits intomainfrom
add-redis-server-docs

Conversation

@dankelleher
Copy link
Copy Markdown
Member

@dankelleher dankelleher commented Apr 2, 2026

Summary

  • Add documentation page for the Redis MCP server covering all Redis data structures: strings, hashes, lists, sets, sorted sets, streams, pub/sub, JSON (RedisJSON), and vector search (RediSearch)
  • Add Redis to the server index page under Databases and to docs.json navigation
  • Includes setup instructions, use cases, tool reference, and notes on module-dependent features

Test plan

  • Verify page renders correctly at /civic/reference/servers/redis
  • Verify Redis card appears in the Databases section on the index page
  • Verify navigation link works in the sidebar

🤖 Generated with Claude Code

Add documentation page for the Redis MCP server covering strings,
hashes, lists, sets, sorted sets, streams, pub/sub, JSON, and vector
search capabilities. Includes setup instructions, use cases, tool
reference, and notes on module-dependent features (RedisJSON, RediSearch).
@mintlify
Copy link
Copy Markdown
Contributor

mintlify bot commented Apr 2, 2026

Preview deployment for your docs. Learn more about Mintlify Previews.

Project Status Preview Updated (UTC)
civic 🟢 Ready View Preview Apr 2, 2026, 8:22 AM

Copy link
Copy Markdown
Contributor

@titus-civic titus-civic left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ready to merge when it goes live

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants