pku-liang

pku-liang/hwe-bench

MCP server Claude CodeCodexCursor +2

MCP server "runtimeproof", hosted remotely at runtime-mcp-server, as configured in pku-liang/hwe-bench.

pku-liang/hwe-bench

Skill Claude CodeCodex

Existing task skill that should remain after job-level skill injection.

pku-liang/hwe-bench

Skill Claude CodeCodex

Write the proof file for the Harbor runtime skill injection example.

pku-liang/hwe-bench

Skill Claude CodeCodex

Generate a greeting message and write it to a file.

pku-liang/hwe-bench

Skill Claude CodeCodex

Scaffold a new Harbor benchmark adapter by running harbor adapter init and then guide implementation using the Adapters Agent Guide as the authoritative spec.

pku-liang/hwe-bench

Skill Claude CodeCodex

Create a new Harbor task for evaluating agents. Use when the user wants to scaffold, build, or design a new task, benchmark problem, or eval. Guides through instruction writing, environment setup, verifier design (pytest vs Reward Kit vs custom), and solution scripting.

pku-liang/hwe-bench

Skill Claude CodeCodex

Use when working with Harbor's harbor exec CLI workflow: compiling files, directories, or globs into Harbor tasks; running map jobs; configuring artifacts and existence-only verification; using map-reduce; writing or reviewing ExecConfig YAML/JSON/TOML; or debugging command behavior, config validation, and job outputs.

pku-liang/hwe-bench

Skill Claude CodeCodex

Publish a Harbor task or dataset to the registry. Use when the user wants to upload, publish, or share tasks or datasets/benchmarks on the Harbor registry.

pku-liang/hwe-bench

Skill Claude CodeCodex

Write Harbor task verifiers using Reward Kit. Use when creating or editing a task's tests/ directory, adding grading criteria, setting up LLM/agent judges, or designing verifiers that produce a reward score.

pku-liang/hwe-bench

Skill Claude CodeCodex

Create or reuse Hugging Face dataset PRs for harborframework/parity-experiments and upload Harbor parity/oracle result folders efficiently with sparse checkout, raw git pushes, and Git LFS.