Barnadrot/zk-autoresearch

zk-autoresearch — autonomous LLM agent optimizing a production ZK prover via benchmark feedback loop. First known application of Karpathy's autoresearch pattern to a ZK proof system.

GitHub repository with 20 stars and 2 forks.

Language: Shell

Open provider repository

Latest metric snapshot

2026-06-05: 20 stars and 2 forks.

Similar repositories

  1. 1. msitarzewski/agency-agents

    A complete AI agency at your fingertips - From frontend wizards to Reddit community ninjas, from whimsy injectors to reality checkers. Each agent is a specialized expert with personality, processes, and proven deliverables.

    GitHub repository with 107,688 stars and 17,746 forks.

    Trending score: 4.22; stars gained: +233; forks gained: +38.

    Language: Shell

  2. 2. datacurve-ai/deep-swe

    Measuring frontier coding agents on original, long-horizon engineering tasks

    GitHub repository with 632 stars and 34 forks.

    Trending score: 2.87; stars gained: +34; forks gained: +2.

    Language: Shell

  3. 3. github/copilot-cli

    GitHub Copilot CLI brings the power of Copilot coding agent directly to your terminal.

    GitHub repository with 10,713 stars and 1,588 forks.

    Trending score: 2.81; stars gained: +35; forks gained: +15.

    Language: Shell

  4. 4. Wangnov/codex-app-mirror

    Mirror official Codex desktop app installers into GitHub Releases.

    GitHub repository with 403 stars and 22 forks.

    Trending score: 2.70; stars gained: +33; forks gained: +3.

    Language: Shell

    Topics: codex-app, github-actions, installer-mirror, macos, microsoft-store, msix

  5. 5. thananon/9arm-skills

    GitHub repository with 2,672 stars and 372 forks.

    Trending score: 2.39; stars gained: +15; forks gained: +2.

    Language: Shell

  6. 6. dtnewman/burn-baby-burn

    Be the most productive engineer on your team 🚀🚀🚀

    GitHub repository with 591 stars and 12 forks.

    Trending score: 2.12; stars gained: +17; forks gained: +0.

    Language: Shell

Trending in Shell

  1. 1. msitarzewski/agency-agents

    A complete AI agency at your fingertips - From frontend wizards to Reddit community ninjas, from whimsy injectors to reality checkers. Each agent is a specialized expert with personality, processes, and proven deliverables.

    GitHub repository with 107,688 stars and 17,746 forks.

    Trending score: 4.22; stars gained: +233; forks gained: +38.

    Language: Shell

  2. 2. datacurve-ai/deep-swe

    Measuring frontier coding agents on original, long-horizon engineering tasks

    GitHub repository with 632 stars and 34 forks.

    Trending score: 2.87; stars gained: +34; forks gained: +2.

    Language: Shell

  3. 3. github/copilot-cli

    GitHub Copilot CLI brings the power of Copilot coding agent directly to your terminal.

    GitHub repository with 10,713 stars and 1,588 forks.

    Trending score: 2.81; stars gained: +35; forks gained: +15.

    Language: Shell

  4. 4. Wangnov/codex-app-mirror

    Mirror official Codex desktop app installers into GitHub Releases.

    GitHub repository with 403 stars and 22 forks.

    Trending score: 2.70; stars gained: +33; forks gained: +3.

    Language: Shell

    Topics: codex-app, github-actions, installer-mirror, macos, microsoft-store, msix

  5. 5. thananon/9arm-skills

    GitHub repository with 2,672 stars and 372 forks.

    Trending score: 2.39; stars gained: +15; forks gained: +2.

    Language: Shell

  6. 6. dtnewman/burn-baby-burn

    Be the most productive engineer on your team 🚀🚀🚀

    GitHub repository with 591 stars and 12 forks.

    Trending score: 2.12; stars gained: +17; forks gained: +0.

    Language: Shell