Developer Tools / Code Assistant
A research note from OpenShell on using formal methods and Z3 to reason about and verify permission changes in long-running AI agent systems.
The page is clearly about an AI-adjacent developer topic with direct relevance to agent builders: it explains how OpenShell uses formal methods to prove policy invariants for AI agents, includes concrete examples, and references Z3 and policy verification workflows. There is enough visible content to support a useful public listing.
The page is a single dev note rather than a product page, so it does not show pricing, onboarding, API details, or the exact scope of the OpenShell tooling beyond the policy-verification use case.
Last evaluated 31 days ago. Current rank #2301. Down 1 spot 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.
