GitHub Project Miner

github-project-miner is a Codex Skill for systematic, auditable GitHub repository discovery and source verification.

It builds search queries from the user's topic instead of a preset domain, includes small and low-star projects, deduplicates candidates, checks license and archive state, and supports important claims with commit-pinned source links.

Install

PowerShell:

git clone https://github.com/mvpbin/github-project-miner.git "$env:USERPROFILE\.codex\skills\github-project-miner"

Bash:

git clone https://github.com/mvpbin/github-project-miner.git "${CODEX_HOME:-$HOME/.codex}/skills/github-project-miner"

Restart Codex or open a new task after installation.

Use

Use $github-project-miner to find small public GitHub projects for this topic, verify the implementation in source, and return an auditable candidate radar.

The Skill can also trigger automatically when a request clearly asks for GitHub project discovery, source-pattern search, or candidate comparison.

Safety

• Public discovery uses explicit public-repository filters.
• Source search stays within repositories already confirmed public unless the user explicitly scopes private repositories.
• Discovery is read-only by default; it does not clone, install, or execute third-party code.
• Missing licenses are reported and unlicensed code is not recommended for copying.

License

MIT