Popular repositories Loading

1. Lean-QuantumInfo Lean-QuantumInfo Public

   Forked from Timeroot/Lean-QuantumInfo

   Quantum information theory in Lean 4

   Lean

2. LeanCopilot LeanCopilot Public

   Forked from lean-dojo/LeanCopilot

   LLMs as Copilots for Theorem Proving in Lean

   C++

3. fire_red_agent fire_red_agent Public

   Forked from adenta/fire_red_agent

   Ruby

4. analysis_claude_code analysis_claude_code Public

   Forked from shareAI-lab/learn-claude-code

   本仓库包含对 Claude Code v1.0.33 进行逆向工程的完整研究和分析资料。包括对混淆源代码的深度技术分析、系统架构文档，以及重构 Claude Code agent 系统的实现蓝图。主要发现包括实时 Steering 机制、多 Agent 架构、智能上下文管理和工具执行管道。该项目为理解现代 AI agent 系统设计和实现提供技术参考。

   JavaScript

5. agents agents Public

   Forked from wshobson/agents

   A collection of production-ready subagents for Claude Code

6. tauLDR tauLDR Public

   Forked from andrew-cr/tauLDR

   Code for the paper https://arxiv.org/abs/2205.14987v2

   Python