ragu

Rust language proof-carrying data framework

43 stars

16 forks

Rust

124 views

Option 1: Use slash command in Claude Code

/install-skill https://github.com/tachyon-zcash/ragu

Option 2: Clone to skills directory

# Global (all projects)

git clone https://github.com/tachyon-zcash/ragu ~/.claude/skills/ragu

# Project-specific

git clone https://github.com/tachyon-zcash/ragu .claude/skills/ragu

Add MCP server to .cursor/mcp.json:

{
  "mcpServers": {
    "skillz": {
      "command": "npx",
      "args": ["-y", "skillz-mcp", "https://github.com/tachyon-zcash/ragu"]
    }
  }
}

Restart Cursor after adding the configuration.

Option 1: Use Gemini CLI command

gemini extensions install https://github.com/tachyon-zcash/ragu

Option 2: Clone to extensions directory

git clone https://github.com/tachyon-zcash/ragu ~/.gemini/extensions/ragu

Lightweight coding agent that runs in your terminal

Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust

Cloud-native search engine for observability. An open-source alternative to Datadog, Elasticsearch, Loki, and Tempo.

Rust GUI components for building fantastic cross-platform desktop application by using GPUI.