Tag
This paper introduces a deterministic verification framework for LLM agents to prevent silent failures in shell commands and code edits, demonstrating high catch rates and releasing benchmarks and verifiers.
The author fine-tuned Qwen2.5-Coder-1.5B on 125k natural-language/command pairs to generate shell commands, runs locally on a laptop CPU in ~1 second, and published the weights and code.
Share two ways to use Claude Hooks: passively observe and record tool call logs, and actively intervene to implement a learning mode state machine. Emphasize that Hooks as hard constraints are more reliable than prompts.
The rtk library saves 2.5M tokens across coding agents in 2 weeks by compacting shell command outputs, reducing token consumption.
GrepSeek trains LLM search agents to directly interact with a text corpus using shell commands like grep, using a two-stage training pipeline with cold-start dataset construction and GRPO refinement, achieving strong F1 and Exact Match on open-domain QA benchmarks.
Tips for using Cron jobs and Heartbeat in OpenClaw to improve efficiency and reduce token usage, with examples of when to use each.