Developer Tools / AI Coding
An open-source enforcement layer for AI coding agents that adds frozen specs, tamper-detected tests, independent verification, and hard-blocking gates so unverified work cannot pass.
The page clearly describes a real AI-adjacent developer tool with a specific job: enforcing proof and verification for AI coding agents. The README and repository structure show concrete mechanics, terminal states, and intended support for tools like Claude Code, Codex, and OpenCode, giving enough evidence for a useful directory listing.
The crawl shows the concept and architecture well, but it does not yet expose a quickstart or enough setup detail to tell how to install and use it end to end. It also leaves open what the current v0-alpha actually does in practice versus the research and design material.
Last evaluated 67 days ago. Current rank #1382. Down 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.
