OpenShell is the safe, private runtime for autonomous AI agents.

Emacs Bitwarden command wrapper.

Work with Git forges from the comfort of Magit

A skill to stop your coding agent from burying the answer. ADHD-friendly output.

AeroSpace is an i3-like tiling window manager for macOS

Container runtimes on macOS (and Linux) with minimal setup

A consolidated list of the Jeff Dean Facts!

A CLI tool to query your local WeChat data — chat history, contacts, sessions, favorites, and more. Designed for LLM integration.

The official Lark/飞书 CLI tool, maintained by the larksuite team — built for humans and AI Agents. Covers core business domains including Messenger, Docs, Base, Sheets, Calendar, Mail, Tasks, Meetin…

DingTalk Workspace is an officially open-sourced cross-platform CLI tool from DingTalk. It unifies DingTalk’s full suite of product capabilities into a single package, is designed for both human us…

A complete and graceful API for Wechat. 微信个人号接口、微信机器人及命令行微信，三十行即可自定义个人号机器人。

Asynchronous, super fast LaTeX previews for Org mode.

Efficient file-naming scheme to organise files and write notes with Emacs

Project Interaction Library for Emacs

Assign issues to Claude Code, Codex, Cursor, and 17 more coding agents like teammates — open-source and self-hostable.

A Rocq version of the miniF2F dataset

Core cryptographic library for Windows, Azure Linux and other products

《深入理解 AI Agent：设计原理与工程实践》（李博杰 著）开源主仓库：全书正文、编译版 PDF 与按章配套代码

Cloud-native high-performance edge/middle/service proxy

Formalization of C++ for verification purposes.

Machine-checked functional-correctness proof of an RFC 8391 WOTS+ C implementation (WOTSP-SHA2_256), using VST on Rocq 9.0 + CompCert.

Creating an AI agent with LISP - the 2026 version of what made LISP "the language for AI" in the first place

GNU Stow - mirror of savannah git repository occasionally with more bleeding-edge branches

Playable Chii character mod for Don't Starve Together.

native C command-line client for git-overleaf

Personal Linux and macOS config deployed with GNU Stow.

适用于微信小程序的微信开发者工具 Linux移植版（with Wayland Support）

agent-switch.el is an Emacs control panel for selecting provider profiles used by LLM agent clients.