-
PingCAP
- San Francisco Bay Area
- @shenli3514
- in/li-shen-876b091a
Stars
Fast and memory-efficient exact attention
Open source Ghostty-based macOS terminal with vertical tabs and notifications. Built for AI coding agents and programmability.
AI-agent skills for distributed-systems testing
Skardi is an agent data plane that gives AI agents data autonomy.
Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
Claude Code skill that removes signs of AI-generated writing from text
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
Anthropic's original performance take-home, now open for you to try!
Spec-driven development (SDD) for AI coding assistants.
Automated workflows for OpenAI Codex. Features spec-driven development for new features: Product Requirement → Design → Development Plan → Implementation.
Starter app to build with the OpenAI Responses API
The markdown editor that's just a textarea https://overtype.dev
🐸 Read Frog - Open Source Immersive Translate | 🐸 陪读蛙 - 开源沉浸式翻译
What are the principles we can use to build LLM-powered software that is actually good enough to put in the hands of production customers?
Open-Source AI Presentation Generator and API (Gamma, Canva, Beautiful AI, Decktopus, Presentations AI Alternative)
Train your AI self, amplify you, bridge the world
Scira (Formerly MiniPerplx) is a minimalistic AI-powered search engine that helps you find information on the internet and cites it too. Powered by Vercel AI SDK!
Autonomous coding agent as an SDK, IDE extension, or CLI assistant.
A high-throughput and memory-efficient inference and serving engine for LLMs
Open-source framework for exporting your personal data.
Python tool for converting files and office documents to Markdown.
Model Context Protocol Servers