Developer Tools / AI Code Review / Testing
A Rust-based checker that compares a changed function against its prior version on deterministically generated inputs and reports counterexamples when behavior changes. It includes a PR gate via GitHub Actions, CLI usage, signed receipts, and docs for release/signing.
The page clearly presents a concrete AI-adjacent developer tool: a deterministic checker for behavior-preserving code changes. The README shows what it does, how to use it in a PR workflow, CLI commands, supported input types, receipt signing, and that it ships as a single static binary with releases.
The visible docs describe only int, str, and list[int] inputs in this version, so visitors cannot tell how broad the checker is beyond those types or how it performs on larger codebases. It also says the tool is bounded random testing, not exhaustive verification, which leaves unanswered how often it misses edge cases.
Last evaluated 90 days ago. Current rank #616. Up 2 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.
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.
Traccia is an AI agent observability and governance platform with OpenTelemetry-native tracing, runtime policy enforcement, prompt registry, evals, cost attribution, and compliance evidence export.
