Cui Chen

codex-switcher-menubar. Manage your multiple codex accounts in macOS menu bar

TripStar. 旅途星辰 (TripStar)是一个创新的 AI 文旅智能体应用，旨在解决用户在规划旅行时面临的各种问题，为提供一站式旅游攻略而生。

codex-plugin-cc. Use Codex from Claude Code to review code or delegate tasks.

Watch2Read. 将 B 站视频转化为结构化的 Markdown 阅读笔记 —— 看视频太慢，不如读笔记。

json-render. The Generative UI framework

SpreadPaper. macOS utility to spread one high resolution wallpaper over multiple monitors

OpenGauss. Python

cc-connect. Bridge local AI coding agents (Claude Code, Cursor, Gemini CLI, Codex) to messaging platforms (Feishu/Lark, DingTalk, Slack, Telegram, Discord, LINE, WeChat Work). Chat with your AI dev assistant from anywhere — no public IP required for most platforms.

Crucix. Your personal intelligence agent. Watches the world from multiple data sources and pings you when something changes.

OpenAlice. Your one-person Wall Street. An AI trading agent covering equities, crypto, commodities, forex, and macro — from research through position entry, ongoing management, to exit.

AstrBot. AI Agent Assistant & development framework that integrates lots of IM platforms, LLMs, plugins and AI feature, and can be your openclaw alternative. ✨

read-frog. 🐸 Read Frog - Language Learning & Translate | 🐸 陪读蛙 - 语言学习与翻译

paperclip. The open-source app everyone uses to manage agents at work

airi. 💖🧸 Self hosted, you-owned Grok Companion, a container of souls of waifu, cyber livings to bring them into our worlds, wishing to achieve Neuro-sama's altitude. Capable of realtime voice chat, Minecraft, Factorio playing. Web / macOS / Windows supported.

HowToCook-mcp. 基于Anduin2017 / HowToCook （程序员在家做饭指南）的mcp server

xiaohongshu-mcp. MCP for xiaohongshu.com

lean4-mcp. A lightweight MCP (Model Context Protocol) server that proxies between AI agents and the Lean 4 language server.

AionUi. Free, local, open-source 24/7 Cowork app for OpenClaw, Hermes Agent, Claude Code, Codex, OpenCode, Gemini CLI and 20+ more CLI | Customize your assistants | Star if you like it!

proofread. Shell

cozempic. Context cleaning for Claude Code — prune bloated sessions, protect Agent Teams from context loss, auto-guard with tiered pruning

new-api. A unified AI model hub for aggregation & distribution. It supports cross-converting various LLMs into OpenAI-compatible, Claude-compatible, or Gemini-compatible formats. A centralized gateway for personal and enterprise model management. 🍥

one-api. LLM API 管理 & 分发系统，支持 OpenAI、Azure、Anthropic Claude、Google Gemini、DeepSeek、字节豆包、ChatGLM、文心一言、讯飞星火、通义千问、360 智脑、腾讯混元等主流模型，统一 API 适配，可用于 key 管理与二次分发。单可执行文件，提供 Docker 镜像，一键部署，开箱即用。LLM API management & key redistribution system, unifying multiple providers under a single API. Single binary, Docker-ready, with an English UI.

cmux. Open source Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents. Built for multitasking, organization, and programmability.

code. Every Code - push frontier AI to it limits. A fork of the Codex CLI with validation, automation, browser integration, multi-agents, theming, and much more. Orchestrate agents from OpenAI, Claude, Gemini or any provider.

cc-switch-cli. ⭐️ A cross-platform CLI All-in-One assistant tool for Claude Code, Codex & Gemini CLI.

Maestro. Agent Orchestration Command Center

vibetunnel. Turn any browser into your terminal & command your agents on the go.

ace-tool-rs. Rust implementation of a codebase context engine that enables AI assistants to search and understand codebases using natural language queries.

numina-lean-agent. Python

CodexMonitor. An app to monitor the (Codex) situation

happy. Mobile and Web client for Codex and Claude Code, with realtime voice, encryption and fully featured

openclaw. Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

superpowers-marketplace. Curated Claude Code plugin marketplace

stop. Formalization of Big-Stop Semantics (and small-step and big-step semantics) of PCF in Agda

Z-Image. Python

typst-rewind-note. Typst

BettaFish. 微舆：人人可用的多Agent舆情分析助手，打破信息茧房，还原舆情原貌，预测未来走向，辅助决策！从0实现，不依赖任何框架。

xhs-toolkit. 📕 小红书创作者MCP工具包 - 支持与AI客户端集成的内容创作和发布工具

semantic. Semantic Type Soundness in Lean 4

distributors. Distributors - Unifying Parsers, Printers & Grammars

agda-lemma-search. Agda Lemma Fuzzy Searching

type-inference-zoo-wasm. 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/

typ-how. A online playground to explore with type Inference algorithms.

open-lovable. 🔥 Clone and recreate any website as a modern React app in seconds

obsidian-webpage-export. Export html from single files, canvas pages, or whole vaults. Direct access to the exported HTML files allows you to publish your digital garden anywhere. Focuses on flexibility, features, and style parity.

lean-lsp-mcp. Lean Theorem Prover MCP

kodama. A Typst-friendly static Zettelkästen site generator.

hmf. A copy of Daan Leijen's reference implementation of HMF (type inference)

tilogics. Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.

pl-tutorial. The K Programming Language Tutorial

karakeep. A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search

BazaarPlanner. A website and planner for the bazaar game

history. History of type theory (Chinese).

elaboration-zoo. Minimal implementations for dependent type checking and elaboration

VV. 你还在为自己存放的VV表情包不够多，使用时觉得不够贴切而感到烦恼吗？快来试试这个项目吧！

CnC_Red_Alert. Command and Conquer: Red Alert

well-typed-term-generator. A OCaml generator for well-typed terms (that use their arguments).

type-inference-zoo. 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.

hexyzland. Hexyzland is a minimalistic coding playground https://ptol.github.io/hexyzland/

I-QinShiHuang-Money. 我，秦始皇，打钱！可以开发票。

hdm-fully-grounding. Formalization of a fully grounding type inference algorithm for the HDM system

plasma-manager. Manage KDE Plasma with Home Manager [maintainer=@HeitorAugustoLN]

dcs. Lua

ASCII-generator. ASCII generator (image to text, image to image, video to video)

binding_technique_exp. Coq

ghc-web-test. C

wasmer-js. Monorepo for Javascript WebAssembly packages by Wasmer

awesome-split-keyboards. A collection of ergonomic split keyboards ⌨

agda-language-server.nix. Build als with nix

flakes. Nix

bidi. bidirectional type checking algorithms for higher-ranked polymorphism

NbE_demo. Rocq Prover

nix-gaming. Gaming on Nix

contextual-typing. Contextual Typing, formalized in Agda

nix-olde. Show details about outdated packages in your NixOS system.

dconf2nix. :feet: Convert dconf files (e.g. GNOME Shell) to Nix, as expected by Home Manager [maintainer=@jtojnar]

declarative-flatpak. Declaratively manage Flatpak installations in NixOS and your $HOME

nix-flatpak. Install flatpaks declaratively

nixbook. ❄️ All Configurations for My Laptop

CookLikeHOC. 🥢像老乡鸡🐔那样做饭。已添加2026年发布的《老乡鸡菜品溯源报告 2.0中新出现的菜品。主要部分于2024年完工，非老乡鸡官方仓库。文字来自《老乡鸡菜品溯源报告》，并做归纳、编辑与整理。CookLikeHOC.

winget-pkgs. The Microsoft community Windows Package Manager manifest repository

shiroa. shiroa is a simple tool for creating modern online books in pure typst.

ilm. A versatile, clean and minimal template for non-fiction writing. Ideal for class notes, reports, and books.

typst-slides-template. Typst

nixpkgs. Nix Packages collection & NixOS

Coverage_Axis. Official code for the paper Coverage Axis: Inner Point Selection for 3D Shape Skeletonization, Eurographics 2022.

TidGi-Desktop. TidGi is an privacy-in-mind, automated, auto-git-backup, freely-deployed knowledge management Desktop note app, based on Tiddlywiki, with REST API for web-clipping and Anki connect. 「 太记 」是一个基于「 太微 TiddlyWiki 」的知识管理桌面应用，能保护隐私内容、高级自动化、自动Git云备份、部署为博客，且可通过RESTAPI与Anki等应用连接。（迭代开发中欢迎试用，开发进度见下方链接）(Under active development, see website below for details)

s3s. Successor to splatnet2statink. Takes battle data from the SplatNet 3 app and uploads it to stat.ink!

stat.ink. https://stat.ink/

abella. An interactive theorem prover based on lambda-tree syntax

abella. An interactive theorem prover based on lambda-tree syntax

SublimeAbella. Python