SWE-Marathon: an ultra long-horizon SWE benchmark

A Zed extension for inline i18n translation previews, diagnostics, and quick navigation.

A CLI code-typing game that turns your source code into typing challenges

Code intelligence tool with local semantic graph and holographic memory

LeanCTX — the Context OS for AI development. One local binary that compresses, remembers, routes, and verifies every token between your code and the model. 63 MCP tools, 10 read modes, up to 99% token savings. Works with Cursor, Claude Code, Copilot, Windsurf, Codex, Gemini.

The most comprehensive code intelligence MCP server for AI coding agents. 40+ tools, 30+ languages, 9 agent integrations. Pre-indexed semantic knowledge graphs for instant code understanding — fewer tokens, fewer tool calls, 100% local.

Ark, an R kernel

the DATABASE Editor. https://discord.gg/cEe8v2Y7PJ

Gliding Horse is a multi-agent orchestration framework built in Rust that supports PDCA scheduling and knowledge graph-based agents, with comprehensive Chinese documentation, and is suitable for building enterprise-level AI agent systems.

The Rust SDK for building coding agents. Tool execution, LLM streaming, graph memory, sub-agent orchestration, MCP — as composable library functions.