Developer Tools / Knowledge Graph / Datalog
A Lean 4 relational knowledge language for project relationships, rules, and queries, with a Clojure runtime/toolchain and examples inspired by Zanzibar.
The page clearly describes a concrete developer tool: ZIL Lean, a relational language implemented in Lean 4 for modeling facts and deriving relationships. The README gives enough evidence of purpose, syntax, examples, and intended use cases for developers, review tools, CI, documentation tools, and AI assistants.
The snapshot doesn’t show installation or usage commands, package/release status, or how mature the project is beyond the README examples. It also isn’t obvious from the page which integrations or APIs are available today.
Last evaluated 33 days ago. Current rank #1056. 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.
