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 14 days ago. Current rank #183. 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.
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.
Single-binary CLI that builds an AI agent knowledge base from git repos, Claude Code/Codex sessions, and saved links. It generates a portable markdown wiki, runs on cron, supports local Ollama mode, and exposes the result for agents via CLAUDE.md/AGENTS.md and MCP.
A lightweight React Markdown renderer with built-in LaTeX, syntax highlighting, streaming-safe rendering, and security-focused defaults.
