zaptrace
Verification-first ZapTrace workflows for local design validation, proof-pack review, and bounded benchmark evaluation.
Not in a marketplace yet, so it loads for one session with --plugin-dir.
Plugin zaptrace in oaslananka/zaptrace. Commands read from the repo's manifest — today.
This plugin runs code on your machine — it starts local MCP servers. The exact commands are listed below; read them before installing.
What it installs
Skills (3)
zaptrace-benchmark-evaluationRun and interpret bounded ZapTrace benchmark evidence while preserving fixture, grader, source, and environment identities.
zaptrace-design-validationValidate a local ZapTrace design with requirements review, ERC/DRC evidence, and bounded engineering risk reports without claiming fabrication approval.
zaptrace-proof-pack-reviewCreate or review ZapTrace proof-pack evidence, verify artifact identities, and separate automated gate results from human engineering approval.
MCP servers (1)
zaptraceruns: uv run --project ${CLAUDE_PLUGIN_ROOT:-.} zaptrace-mcp
Maintain zaptrace?
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.