Developer Tools / Systems / Low-level Infrastructure
A capability-based microkernel written in SPARK Ada and formally verified with gnatprove, with a thin C SDK for building services and distribution components.
The page clearly describes an actual software project with a concrete technical purpose, visible architecture, build and verification steps, and a usable C SDK. It provides enough evidence for a public listing and is clearly relevant to builders and systems developers.
The snapshot does not show runtime demos, screenshots, benchmarks, or a deeper explanation of the supported platform and maturity beyond the version notes and changelog.
Last evaluated 2 days ago. Current rank #1275. 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.
