Staging area for a public release of Theorizer

StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion

[ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach

Realtime messaging and context sharing for AI coding agents (Claude Code, Gemini CLI, Codex)

Public registry for OpenHands skills.

Lightweight coding agent that runs in your terminal

Overworld's local world client interface to run Waypoint world models

The personal knowledge management (PKM) tool that grows as you do!

Playwright MCP server

Public documentation for Visual Studio Code

Visual Studio Code

binary releases of VS Code without MS branding/telemetry/licensing

VS Code in the browser

codeblitz document

A framework helps you quickly build AI Native IDE products. MCP Client, supports Model Context Protocol (MCP) tools via MCP server.

Tidewave Desktop app and CLI

Kimi Code CLI is your next CLI agent.

General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.

Bring projects, wikis, and teams together with AI. AppFlowy is the AI collaborative workspace where you achieve more without losing control of your data. The leading open source Notion alternative.

Prototype smart text editor

Unofficial implementation of the Dreamer 4 world model in PyTorch.

Specification and documentation for Agent Skills

bluesky portal for researchers

Collection of scripts and notebooks for OpenAI's latest GPT OSS models