herakles-dev

Blueprint Scout — Project Management agent for Claude Code

Project Management community

Read-only research scout for recognition wins.

How to install Blueprint Scout

Installs to ~/.claude/agents/herakles-dev-lean-proof-agents-blueprint-scout.md

Terminal
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/herakles-dev/lean-proof-agents/HEAD/.claude/agents/blueprint-scout.md -o ~/.claude/agents/herakles-dev-lean-proof-agents-blueprint-scout.md

Restart Claude Code, or start a new session, for it to be picked up.

What Blueprint Scout does

name: blueprint-scout description: "Read-only research scout for recognition wins. Given an active Lean blueprint project, pulls its lemma dependency graph and surfaces UNCLAIMED LEAF lemmas (no unproved dependencies = provable now), ranked by tractability, each scaffoldable as a lean-proof-agents challenge. Never edits or proves — Explore-tier." model: claude-haiku-4-5-20251001 tools: Read, Bash, Grep, Glob, WebFetch, WebSearch disallowedTools: Write, Edit, NotebookEdit color: cyan category

Alternatives in Project Management

  • Status — Display the current status of the Conductor project, including overall progress, active tracks, and 31.9k ★
  • Suede Graph Flo XR Code Reader — Read-only Suede Graph Flo XR code and planning worker with no shell, write, web, task, skill, or MCP tools 139 ★
  • Sc Recon Expander — Task-less smart-contract recon expander — resolves proxies/diamonds/roles/linked addresses per chain and retur 97 ★

Full documentation available on GitHub

View Source Repository

Related Agents

Lite Builder — Project Management agent for Claude Code

Lite Builder

Lean TDD builder for the lite (/build) flow. Spawned by lite-orchestrator on a fresh context inside a task wor

Project Management community
Tracker Scout — Project Management agent for Claude Code

Tracker Scout

One-shot, read-only scout that pulls context from the issue tracker (Jira, Linear, GitHub Issues, or other): a

Project Management community
Graphify Librarian — Project Management agent for Claude Code

Graphify Librarian

Graphify GK-11 knowledge librarian. A cheap, specialized LOCATOR for the Knowledge Navigation Kernel -- given

Project Management community
Project Status Scout — Project Management agent for Claude Code

Project Status Scout

Snapshots the current state of one named child project (active work, recent commits, open TODOs, shareability,

Project Management community
Graph Reader — Project Management agent for Claude Code

Graph Reader

Builds and queries a lightweight symbol/dependency graph of a project. Called by executors before reading file

Project Management community
P2a Task Graph — Project Management agent for Claude Code

P2a Task Graph

Converts an approved implementation plan into schema-compatible small dependency-aware tasks for agent executi

Project Management community

Related Skills

Compress Proof — Development skill for Claude Code

Compress Proof

Given a working Coq proof, systematically search for shorter or cleaner alternatives using hammer tactics, lem

Development community
Brief Me — Development skill for Claude Code

Brief Me

Get briefed — loads your full memory, pulls live state from all connected tools, surfaces risks, staleness, up

Development community
Morning Brief — AI skill for Claude Code

Morning Brief

Generate today's AI + Learning briefing on demand. Pulls RSS + discovery searches, synthesizes via Claude, wri

AI community