Developer Tools / Formal Methods / Proof Verification
A Lean 4 repository containing a machine-checked proof of Fermat’s Last Theorem, with build verification details and browsable HTML documentation for the proof structure.
The page clearly presents a real AI-adjacent developer resource: a formal proof project in Lean 4 with detailed evidence about the theorem statement, verification pipeline, build environment, and offline browsing tools for the proof. It is substantial, specific, and useful to people working in formal methods, proof assistants, and verified mathematics.
The listing doesn’t show a recent maintenance cadence or active contribution status beyond noting it is not maintained. It also doesn’t make it easy to tell, from the crawl alone, which parts are generated docs versus source-authored material without opening the repository.
Last evaluated 6 days ago. Current rank #1473. 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.
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.
