Lists (2)
Starred repositories
The IDE you know, rebuilt in Rust. IntelliJ IDEA–style keymap, tool windows and search-everywhere in a fast native app: editor, code insight, debugger, Git, terminal, database and HTTP clients for …
Every agent's model. One place. Codex on DeepSeek, Claude Code on Kimi, from the menu bar.
Turn any AI agent into an AI Scientist. The #1 Agent Skills library for science, used by 250,000+ scientists worldwide. 177 ready-to-use validated skills plus 100+ scientific databases covering bio…
A collection of 130+ specialized Codex subagents covering a wide range of development use cases.
ThinkRail is the agentic IDE that gets better every time you use it
Real analysis formalized in Lean 4 from nothing — the reals are constructed here. No mathlib, no external dependencies, no typeclasses.
Meta-Framework of Spatiotemporal Composability
《动手学 Pi》：沿 15 个真实 checkpoint 从零构建 Pi-style Agent
DeepSeek Harness: Everything is a Plugin.
Modern, lightweight desktop app built with Wails (Go) and Vue 3. Efficient, cross-platform, and fast.
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.
FDE（前沿部署工程师）从零入门指南（基于范冰《增长黑客》原书框架）
OmO: Just type "mass ulw" keyword with your prompt. Now you are the master of graph engineering.
TypeScript-first schema validation with static type inference
Share a single keyboard and mouse between multiple computers.
An open-source book on storage technology and file systems. From knot records to Flash physics, from FAT to LittleFS — complete with KnotFS, a teaching-grade log-structured embedded file system (~1…
《机器翻译：基础与模型》肖桐 朱靖波 著 - Machine Translation: Foundations and Models
👩🚒 Good content deserves good paper. Layout rules and templates that let AI agents export PDF, PNG and editable PowerPoint.
The job search that runs on your machine. AI job application framework built on Claude Code: evaluate postings, tailor CVs, write cover letters, prep interviews. Fork it and own it.
AI icon set generator skill for Claude Code & Codex. 帮你生成整套风格统一的图标。
Agent skills for Obsidian. Teach your agent to use Obsidian CLI and open formats including Markdown, Bases, JSON Canvas.
Pre-indexed code knowledge graph, auto syncs on code changes, for Claude Code, Codex, Gemini, Cursor, OpenCode, AntiGravity, Kiro, CoPilot, and Hermes Agent — fewer tokens, fewer tool calls, 100% l…
from vibe coding to agentic engineering - practice makes claude perfect
Storybook is the industry standard workshop for building, documenting, and testing UI components in isolation
🦄️ 🎃 👻 Clash Premium 规则集(RULE-SET)，兼容 ClashX Pro、Clash for Windows 等基于 Clash Premium 内核的客户端。
SSR 去广告ACL规则/SS完整GFWList规则/Clash规则碎片，Telegram频道订阅地址