Publish the current Claude Code analysis to the civicaitools.org evidence registry as a cryptographically signed, timestamped, Rekor-logged evidence package. Invoke when the user has just completed a civic-data analysis (typically using the Socrata and/or Data Commons MCP tools) and says something like "publish this as evidence", "sign this analysis", "publish to civicaitools.org", or "make this a verifiable package.
Use when setting up a fresh HAINDY installation, configuring API credentials for the first time, migrating from a legacy .env file, or verifying the effective configuration.
- 📄 DFC_METHODS_CONTEXT.md
- 📄 PAPER_KNOWLEDGE_BASE.md
- 📄 PydFC_logo_dark_round.png
Guidance skill for PydFC tutorial workflows, copy-paste examples, and evidence-based scientific response style.
- 📁 profiles/
- 📄 auth-azdevops.md
- 📄 auth-bitbucket.md
- 📄 auth-github.md
Fleet infrastructure mechanics — member management, permissions, onboarding, provider awareness, and tool usage patterns
Test coverage heatmap from lcov or JSON coverage data. Finds coverage reports, parses line coverage per file, and renders a color-coded file-tree heatmap as HTML. Opens in the system browser.
- 📄 bmad-skill-manifest.yaml
- 📄 SKILL.md
Strategic business analyst and requirements expert. Use when the user asks to talk to Mary or requests the business analyst.
Interview the user relentlessly about a plan or design until reaching shared understanding, resolving each branch of the decision tree. Use when user wants to stress-test a plan, get grilled on their design, or mentions "grill me".
Choose presentation-ready color palettes and font pairings for PPT/design tasks. Use when users ask for visual theme choices, brand-safe palettes, or font recommendations. Triggers include: 配色, 色板, 字体, color palette, font, PPT配色, 字体搭配.
- 📁 agents/
- 📁 evals/
- 📁 references/
- 📄 LICENSE
- 📄 skill.lock.json
- 📄 SKILL.md
Distill developer coding style from git history into Author Profile, AGENTS snippet, Copilot instructions, or reusable Skill. Use when analyzing code patterns, preserving engineering habits, or creating shareable style guides.
Generic agent instruction preparation and activation -- Layer 3a
Answer questions about using Prompt Registry and authoring bundles. Use this skill whenever the user asks about bundles, collections, hubs, profiles, sources, scopes, marketplace, repository installation, deployment manifests, source scaffolding, collection schemas, validation errors, publishing, or any Prompt Registry extension feature — even if they don't name the extension explicitly.
Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas, formalizing mathematics in Lean, or learning Lean 4 concepts. Also trigger when the user asks for help with Lean 4, mathlib, or lakefile. Do NOT trigger for Coq/Rocq, Agda, Isabelle, HOL4, Mizar, Idris, Megalodon, or other non-Lean theorem provers.