# 系统设计
10 个相关产品 · 中文解读 · 按热度排序
Pen and paper resource development game with an emergent world
一款用纸笔模拟资源开发的沙盒游戏，通过规则生成动态世界，适合桌游爱好者和系统思维玩家，亮点在于规则驱动的涌现式世界演化。
Requirements Engineering with Formal Verification
该工具将形式化验证引入需求工程，帮助团队在早期阶段用数学方法确保系统需求无矛盾、完整且可验证，适用于高可靠性系统（如航天、金融）的开发团队。
Axiom-02 – Deterministic engine modeling cognitive dissonance
Axiom-02 是一个模拟认知失调的确定性引擎，用于构建具有内在矛盾逻辑的 AI 系统或思想实验，适合 AI 研究者和哲学探索者，亮点是用代码形式建模人类心理冲突。
I ran 70 MCP servers in a sandbox and logged what they do
该项目通过在沙箱中运行 70 个 MCP（多智能体协作协议）服务器，记录并分析其行为，揭示了 AI 智能体在协作、决策与潜在风险方面的实际表现，为 AI 安全与系统设计提供实证研究
ashishps1/awesome-system-design-resources
系统设计学习资源合集，涵盖面试高频知识点与实战案例，帮助开发者系统掌握高并发、分布式系统设计方法。
Estratos – stacked memory system for AI assistants
Estratos 是为AI助手设计的分层内存系统，通过优化上下文管理提升大模型交互的连贯性与性能，适合AI应用开发者与研究者。
HW/SW co-design blueprint for fault recovery in LLM training
该项目提出了一种软硬件协同设计蓝图，用于在大语言模型训练中实现故障恢复，面向 AI 研究者与系统架构师，提升训练稳定性与资源利用率。
ashishps1/awesome-low-level-design
一份免费的低级设计（LLD）学习资源合集，专为准备技术面试的开发者打造，涵盖系统设计、架构模式与实战案例。
Nodl
用可视化方式展示系统架构与流程，帮助团队快速理解复杂系统，适合产品经理与技术团队协作
BDFL - Benevolent Delegator for LLMs
面向LLM的“仁慈委派”框架，支持AI按计划并行执行任务，同时保持人类全程控制权