io.github.sebastienrousseau/corraldev-tools

Corral

Verified · 13 days ago

Query your Corral-organised local mirror of cloned GitHub repositories. Zero network calls.

Install

claude mcp add corral -- docker run -i --rm ghcr.io/sebastienrousseau/corral:0.0.24

Our take

This server queries a local mirror of cloned GitHub repositories without making network calls. It is aimed at developers or research workflows that keep a curated local repo corpus and want fast offline inspection. The use case is specialized and likely depends heavily on the user's local setup, but the positioning is clear and technically plausible.

reviewed by hand · 2026-07-17

Something wrong or dead here? Report it

Verification record

last verified
13 days ago
github stars
1
last commit
15 days ago
archived
no
license
GPL-3.0
in registry since
2026-07-01

github.com/sebastienrousseau/corral

More in dev-tools

browse all →
context7dev-tools

Context7

Verified · 9 days ago

Up-to-date code docs for any prompt

hand-reviewed61k starschecked 9 days ago

github-mcp-serverdev-tools

GitHub

Verified · 9 days ago

Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.

hand-reviewed32k starschecked 9 days ago

validatordev-tools

Oh My Posh Validator

Verified · 9 days ago

Validate oh-my-posh configurations and segment snippets against the official schema.

hand-reviewed23k starschecked 9 days ago

compiler-explorerdev-tools

Compiler Explorer

Verified · yesterday

Compile code with thousands of compilers, inspect the assembly, and share godbolt.org links

hand-reviewed19k starschecked yesterday

registrydev-tools

MCP Registry Server

Verified · 13 days ago

Publish and discover MCP servers via the official MCP Registry. Powered by HAPI MCP server.

hand-reviewed7.1k starschecked 13 days ago