Prove that a refactored Xilinx ISE/XST design synthesizes to equivalent logic: a validated register-cut-point checker for flat netgen Verilog netlists (exhaustive and BDD comparison, exact register correspondence) plus a mutant generator to validate the checker first.
Plugin dv-netlist-equivalence from marketplace dv-claude-dev-market in BarabashkaD/dv-claude-dev-market. Commands read from the repo's manifest — 6 days ago.
proving-netlist-equivalenceUse when a refactored Xilinx ISE/XST design must be shown to synthesize to unchanged logic - the bitstream changed after a hierarchy change, module move, wrapper or rename; no Conformal, Formality or Yosys equivalence flow is available; netgen Verilog netlists of both .ngc files can be produced; or
Sequential FreeCAD design and Bambu Studio print preparation with configurable enclosure engineering guidance: headless analysis and zone edits, a GUI macro for files a person opens, and MCP for the live window.
7 skills · 1 agent
Controller + subagents development policy for Claude Code: a fresh agent per task, tiered critical reviews with an arbiter, budget-first briefs, file-based reports and handovers, a ledger and a decisions log, and STOP gates for pushes, tags and repository changes. Three skills and generic implementer and critic agents; documentation only.
3 skills · 2 agents
Fail-closed CMake compile-database freshness guard for Claude Code's official clangd LSP plugin. Requires a separately installed clangd executable.
1 skill · hooks
Global Python environment manager for Claude skills. Creates and reuses one virtual environment per skill under a per-user Claude venvs directory, so environments persist across sessions and projects instead of being rebuilt every time. Works on Linux, macOS, and Windows.
1 skill · hooks
Pre-commit guard for public repositories: blocks absolute home paths and e-mail addresses in staged text files, in zip-based files (FCStd, 3mf, Office, OpenDocument, epub) and in PNG/JPEG metadata. Stdlib-only checker, hook template and a PNG text-chunk stripper.
1 skill
Convert technical documentation (datasheets, reference and service manuals, schematics, standards, application notes) from PDF, scanned PDF, DjVu, DOC/DOCX, RTF, ODT, EPUB or page images into faithful, verified Markdown where tables, block diagrams, timing diagrams, bit fields, pinouts, register maps and dot patterns become text. Classifies the document first, then runs the transcription in a dedicated cold-context subagent, verifies it with self-check scripts and an adversarial fidelity review, and can split a long document into an index plus parts.
1 skill
Matt Pocock's agent skills for real engineering (grilling, spec/ticket flows, TDD, code review, domain modelling and more).
39 skills
AGENTS.md as project instructions, by one option. Under claude-md-or-agents-md a project with no instruction files of its own gets its AGENTS.md files instead: a prompt.context hook asks $.fs.ancestors for every AGENTS.md and .claude/AGENTS.md from the filesystem root down to the working directory and hands them to the engine as project instruction files, which it renders, announces and withholds from agents exactly as it does CLAUDE.md, skipping any file the engine already loaded by import or link; a tool.call hook on Read attaches the ones under the project root as the engine attaches a nested CLAUDE.md. Under claude-md-and-agents-md every AGENTS.md is loaded beside CLAUDE.md. Under managed-only the project's and the person's instruction files are dropped and the organization's managed ones kept. Under claude-md the engine's walk stands alone. claude-md-or-agents-md is the default.
Production-grade engineering skills covering every phase of software development: spec, plan, build, verify, review, and ship.
25 skills · 4 agents
Agentic QE (external: maintained in proffesor-for-testing/agentic-qe, pinned to v3.15.17): a quality-engineering fleet with 11 QE agents, 9 skills, 9 commands, the agentic-qe MCP server pinned to the plugin version, and the aqe-mod guard that refuses destructive operations on AQE learning data
9 skills · 9 commands · 11 agents · 1 MCP server
Install the "AAS Security Engineer" workflow plugin from Agentic Awesome Skills.
12 skills
Binary reverse engineering, malware analysis, firmware security, and software protection research for authorized security research, CTF competitions, and defensive security
4 skills · 3 agents
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.