NzSN
Follow
-
-
-
-
-
-
-
-
codex Public
Forked from openai/codexLightweight coding agent that runs in your terminal
Rust Apache License 2.0 UpdatedOct 2, 2026 -
-
skills Public
Forked from mattpocock/skillsSkills for Real Engineers. Straight from my .agents directory.
Shell MIT License UpdatedSep 30, 2026 -
crashpad Public
Forked from chromium/crashpadA crash-reporting system
C++ Apache License 2.0 UpdatedSep 30, 2026 -
-
awesome-codex-subagents Public
Forked from VoltAgent/awesome-codex-subagentsA collection of 130+ specialized Codex subagents covering a wide range of development use cases.
Python MIT License UpdatedSep 28, 2026 -
ModelMirrors Public
Apalache Trace check to languages.
Haskell GNU Affero General Public License v3.0 UpdatedSep 18, 2026 -
-
devtools-frontend Public
Forked from ChromeDevTools/devtools-frontendThe Chrome DevTools UI
TypeScript BSD 3-Clause "New" or "Revised" License UpdatedSep 15, 2026 -
-
-
dsh-agent-teams Public
Forked from NanmiCoder/dsh-agent-teamsAgentTeams plugin for DeepSeek Harness
TypeScript MIT License UpdatedAug 31, 2026 -
DSH-better-sidebar Public
Forked from omdsh-dev/DSH-better-sidebar开放的侧边栏底座，支持三方拓展注册新侧边栏页面。内置文件渲染编辑/终端/侧边对话/Git/子代理页面 ｜ Open sidebar foundation, supports third-party extensions to register new sidebar pages. Built-in file rendering/editing, terminal, side chat, Gi…
TypeScript MIT License UpdatedAug 30, 2026 -
V8-Memory-Forensics-Plugins Public
Forked from BiTLab-BaggiliTruthLab/V8-Memory-Forensics-PluginsV8 NSA Grant
Python UpdatedAug 26, 2026 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedAug 25, 2026 -
dsh-TUI Public
Forked from ccch1mneyyy/dsh-TUIDSH 官方公众号收录的 TUI 补位插件：Claude Code 风，鲸鱼顶栏/实时状态/流式思考/双击 Esc 回滚/上下文进度+TPS。npm 一键装。 DSH official WeChat featured TUI plugin — Claude Code style: whale bar, live status, streaming thoughts, double-Esc r…
TypeScript MIT License UpdatedAug 24, 2026 -
deepseek-harness Public
Forked from deepseek-ai/deepseek-harnessDeepSeek Harness: Everything is a Plugin.
TypeScript MIT License UpdatedAug 19, 2026 -
deepseek-harness-desktop Public
Forked from anywhere-labs/dsh-desktop为 DeepSeek Harness (DSH) 插件生态打造的现代化桌面端解决方案
TypeScript MIT License UpdatedAug 17, 2026 -
-
agent-shell Public
Forked from xenodium/agent-shellA native Emacs buffer to interact with LLM agents powered by ACP
Emacs Lisp GNU General Public License v3.0 UpdatedAug 13, 2026 -
acp.el Public
Forked from xenodium/acp.elAn ACP (Agent Client Protocol) implementation in Emacs lisp as per https://agentclientprotocol.com
Emacs Lisp GNU General Public License v3.0 UpdatedAug 13, 2026 -
Spectr Public
A locality-aware causal tracing system for complex native applications.
UpdatedAug 12, 2026 -