Developer Tools / AI Coding Assistants
MathCode is a terminal AI coding agent for mathematical formalization: it turns plain-language math problems into Lean 4 theorems and attempts formal proofs, with a persistent Lean REPL and supporting theorem/axiom libraries.
The page clearly presents a real AI-powered developer tool aimed at mathematical proof generation and formal verification. It includes a concrete workflow, installation steps, usage example, and several distinguishing features such as Lean LSP integration, reusable theorem libraries, and an Obsidian theorem graph, which makes it suitable for a public listing.
The page does not show licensing, release/version status, or how well the tool performs on real benchmarks. It also does not make clear what parts are available in the browser UI versus the terminal workflow, or how much setup is needed beyond the quick start.
Last evaluated 59 days ago. Current rank #286. 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.
