Meta Scoper — Data & AI agent for Claude Code
Top-tier meta-improvement scoper for the lean-proof-agents repo.
How to install Meta Scoper
Installs to ~/.claude/agents/herakles-dev-lean-proof-agents-meta-scoper.md
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/herakles-dev/lean-proof-agents/HEAD/.claude/agents/meta-scoper.md -o ~/.claude/agents/herakles-dev-lean-proof-agents-meta-scoper.md Restart Claude Code, or start a new session, for it to be picked up.
What Meta Scoper does
name: meta-scoper description: "Top-tier meta-improvement scoper for the lean-proof-agents repo. Read-only/advisory. Surveys the meta-system (skills, subagents, scripts, data sources, automations, ledger, notes) and returns a concrete, ROI-ranked slate of capability upgrades. Dispatch to plan what to build next, not to prove theorems." model: claude-fable-5-1 tools: Read, Bash, Grep, Glob disallowedTools: Write, Edit, NotebookEdit color: magenta category: lean-proof-agents default_mode: suba
Alternatives in Data & AI
- Standup Notes — You are an expert team communication specialist focused on async-first standup practices, AI-assiste 31.9k ★
- LLM AI Hunter — LLM and Agentic AI vulnerability specialist 812 ★
- Silas — Database Architect 296 ★
Full documentation available on GitHub
View Source RepositoryRelated Agents
Knowledge Agent
AI agent for managing a Powerhouse Knowledge Vault — seeding sources, extracting atomic notes, connecting and
AI Researcher
Use this agent when you want fresh AI news — latest model releases, research papers, industry moves, tool upda
Home Automation Engineer
Use this agent when the user needs to work on Home Assistant integrations, IoT device setup, smart home automa
Edc Skill Defender
EDC sub-agent. Defends the FlatRedBall2 skill files as curated AI playbooks. Argues for lean, generalizable sk
Codemap Writer
Generate or refresh docs/CODEMAPS/ for the current repo. Use when the user runs /update-codemaps, when context
Budgeter
Resource gatekeeper. Other agents must call the budgeter before launching long-running training, expensive LLM
Related Skills
Tex Proof Check Kit
Check the proofs already written in a LaTeX paper by translating them faithfully into Lean 4, with a team of C
Kaizen
Applies continuous improvement methodology with multiple analytical approaches, based on Japanese Kaizen philo
Lean
⚡⚡ Lean analysis - MVP definition or feature improvement