Stars
Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"
Deploy Your Frontend in a Single Command. Claude Code Skills supported.
Can Language Models Rebuild Programs From Scratch?
A cross-platform desktop All-in-One assistant for Claude Code, Codex, OpenCode, OpenClaw, Grok Build & Hermes Agent. Only official website: ccswitch.io
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
Agent Skills-compatible LLM wiki for Claude Code, Cursor, and Codex. Build a Karpathy-style knowledge base from raw sources, citations, and linting.
基于 Karpathy llm-wiki 方法论的个人知识库构建 Skill，支持多平台！
Buffett-style company analysis skill for Codex that turns primary-source research into structured investment memos.
巴菲特思维操作系统 | Warren Buffett Cognitive Framework - Claude Code Skill
A collection of ai skills built on Warren Buffett's investing framework.
Garry's Opinionated OpenClaw/Hermes Agent Brain
The agent that grows with you
An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
Claude Code 中文全面上手指南。基于 luongnv89/claude-howto 本土化重写，面向中国小白用户，保留命令与配置兼容性，并附学习路径与本地化校验护栏。
Tampermonkey is the most popular userscript manager, with over 10 million users. It's available for Chrome, Microsoft Edge, Safari, Opera Next, and Firefox.
A unified AI model hub for aggregation & distribution. It supports cross-converting various LLMs into OpenAI-compatible, Claude-compatible, or Gemini-compatible formats. A centralized gateway for p…
LLM inference server with continuous batching & SSD caching for Apple Silicon — managed from the macOS menu bar
Open Multi-Agent Interactive Classroom — Get an immersive, multi-agent learning experience in just one click
C++ Library Manager for Windows, Linux, and MacOS
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
国内最优秀的基于JAVA的AI开源量化交易平台，秒替文华、MC、金字塔。具备历史回放、策略研发、模拟交易、实盘交易等功能。兼顾全自动与半自动的使用场景。