Skip to content
Agentmart
Submit a tool

harness-generation

Trace harness generation (Phase 2.5).

Skill by specula-org

IndexedApache-2.0★ 575
Write a review

Install

Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.

npx agentmarket install skill/specula-org-harness-generation

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

Trace harness generation (Phase 2.5). Use when: (1) instrumenting a system's source code to emit NDJSON traces for TLA+ trace validation, (2) writing test scenarios that exercise protocol code paths, (3) producing the first batch of traces from instrumented tests.

Use cases: testing, writing

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this skill can do and what it asks for, from its SKILL.md and code. Checked Oct 25, 2026.

Tools
No tools found
Secrets
None asked for
Install scripts
None found
Runs as
Python package

Network hosts it talks to 1

  • codeload.github.com · found in install command

Files it touches

  • ~/.claude/skills/harness-generation

What's inside

Skill name
harness-generation
Description
Trace harness generation (Phase 2.5). Use when: (1) instrumenting a system's source code to emit NDJSON traces for TLA+ trace validation, (2) writing test scenarios that exercise protocol code paths, (3) producing the first batch of traces from instrumented tests.
License
Apache-2.0
Instructions
3 lines in SKILL.md · view on GitHub

Before installing

  • Ships executable scripts

Files (10)

  • SKILL.md
  • INSTRUMENTATION.md · examples/cometbft/
  • preprocess_trace.py · examples/cometbft/
  • run.sh · examples/cometbft/
  • rte_ring_tla_trace.h · examples/dpdk-ring/
  • run.sh · examples/dpdk-ring/
  • test_ring_trace.c · examples/dpdk-ring/
  • guide.md
  • concurrent-timebox-guide.md · references/
  • trace-module-patterns.md · references/

SKILL.md (first lines)

Read `guide.md` for the full workflow methodology.

From specula-org/Specula, Apache-2.0.

More from specula-org/Specula

Signals

Stars
575
Forks
63
Open issues
8
Last commit (this folder)
Jul 25, 2026 (3 months ago)
Last release
Sep 16, 2026 (1 month ago)

From GitHub (fetched Oct 24, 2026).

Details

License
Apache-2.0
Repository
github.com/specula-org/Specula
First seen
Oct 24, 2026
Last checked
Oct 24, 2026
Source
GitHubgithub-graphql

More from specula-org

Cite this page

harness-generation skill. Agent Mart. https://agentmart.dev/skills/specula-org-harness-generation (last updated 2026-10-24)