Zing : An explicit state model checker for concurrent and message passing programs.

📚 《Deep Agents 实战》—— LangChain 官方大使出品，基于 LangChain / LangGraph 生态，从零构建生产级 AI Agent 的完整指南

Local-first code intelligence graph for MCP and CLI. Builds a persistent map of your codebase so AI coding tools read only what matters, with benchmarked context reductions on reviews and large-rep…

Official Agnes AI gateway and model catalog for OpenAI-compatible text, image, video, and agent workflows.

坚持分享 GitHub 上高质量、有趣实用的开源技术教程、开发者工具、编程网站、技术资讯。A list cool, interesting projects of GitHub.

Building General-Purpose Robots Based on Embodied Foundation Model

[WWW‘26 Oral🔥] DeepAgent: A General Reasoning Agent with Scalable Toolsets

Skills for Real Engineers. Straight from my .agents directory.

Official repo for paper "Structured 3D Latents for Scalable and Versatile 3D Generation" (CVPR'25 Spotlight).

ai-papers

国内主流 AI 平台的 Coding Plan对比，智谱、Kimi、MiniMax、阿里云百炼、字节火山方舟、百度千帆

A curated list of awesome Claude Skills, resources, and tools for customizing Claude AI workflows

A hand-picked collection of the finest of resources for the most awesome of agents, Claude Code, the undisputed champion of coding companions, from the unstoppable team at Anthropic PBC (no affilia…

Attach a coding agent to the Chrome/Edge/Electron tab you already have open. Cookies stay. Not a fresh Playwright browser. Zero runtime npm deps.

Git. Ship. Done - Core

A light-weight and powerful meta-prompting, context engineering and spec-driven development system for Claude Code by TÂCHES.

Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA

A MCP (model context protocol) server that gives the LLM access to and knowledge about relational databases like SQLite, Postgresql, MySQL & MariaDB, Oracle, and MS-SQL.

汇总国外1000个免费手机号接码 - 国外免费手机号验证平台

yuque 语雀知识库下载

Secure, open source and community driven crypto wallet runs on all platforms and trusted by millions.

数字生命卡兹克开源的 AI Skills 合集 | Agent Skills: leader（帮你定义目标）, neat-freak 洁癖, hv-analysis, khazix-writer & more — Claude Code, Codex & 40+ agents

Open Cowork - Opensource Claude Cowork for Windows & macOS & Linux.

runs anywhere. uses anything

"OpenHarness: Open Agent Harness with a Built-in Personal Agent--Ohmo!"

Turn Claude Code into a full game dev studio — 49 AI agents, 72 workflow skills, and a complete coordination system mirroring real studio hierarchy.

给 Claude Code 装上完整联网能力的 skill：三层通道调度 + 浏览器 CDP + 并行分治