Developer Tools / Testing & QA
A GitHub repo for checking recorded agent runs against a TLA+ specification of the surrounding protocol. It models retries, acknowledgements, approvals, budgets, and can validate JSONL runs against the same spec.
The page clearly describes a real developer tool for agent/runtime validation, shows how it is used, and includes concrete examples of successful, violated, and rejected runs. It is clearly AI-adjacent and useful to builders working on agents or durable-execution systems.
The crawl shows the protocol and CLI examples, but not much about the package structure, release status, or how easy it is to integrate with an existing agent stack beyond the listed frameworks and file formats.
Last evaluated 12 days ago. Current rank #1369. Down 3 spots in the rankings.
CodeGraph is a local code knowledge graph for AI coding agents like Claude Code, Cursor, Codex, OpenCode, and Hermes Agent. It aims to cut token use, tool calls, and runtime by letting agents query pre-indexed code structure instead of scanning files repeatedly.
Mercemur is a store automation platform with three interfaces: a REST API, an MCP server for AI agents, and a CLI for editing storefronts as files. The docs show authentication, scopes, rate limits, error handling, pagination, idempotency, and a large API surface for catalogue, orders, customers, pricing, and money.
Lumae is a free native macOS screen recorder and screenshot tool for polished demos, with automatic zooms, cursor smoothing, motion blur, captions, voiceover, and annotated screenshots. It also exposes editing commands over MCP so agents like Claude Code or Claude Desktop can edit projects directly.
A zero-dependency C++23 CLI and MCP server that gives coding agents a ranked map of a repository, including call context, blast radius, and tests to run.
