Developer Tools / AI Development Frameworks
Chelis is a numerical computing language for code that agents can write and people supervise. It adds typed tensors, shape and precision checks, proof checking, and MCP tools for agent workflows.
The page clearly presents a real AI-adjacent developer tool with a defined purpose: a numerical computing language designed for code written by agents and supervised by people. The README gives concrete capabilities, examples, installation steps, build commands, and docs for a wider workflow, making it strong enough for a public listing.
The crawl does not show hands-on examples beyond a single code snippet, so visitors cannot tell how mature the language is in practice or how complete the ecosystem feels. It also does not surface current release status, community adoption, or benchmark/results for the proof system and agent tooling.
Last evaluated 9 days ago. Current rank #571. 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.
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.
