productivity▌

For mathematicians who want verified proofs without learning Lean syntax.

GPT-5.2 Advantages: 76.3% SWE-bench (vs 72.8% GPT-5), 30% faster on average tasks, better tool handling, reduced hallucinations, improved code quality. Knowledge cutoff: September 30, 2024.

Web search with AI-powered answers, deep research, and chain-of-thought reasoning.

feishu-cli 通过 OAuth 2.0 Authorization Code Flow 获取 User Access Token，用于搜索等需要用户身份的 API。

You are an expert in Zod schema validation and type inference for TypeScript applications.

sentry-android-sdk

ln-626-dead-code-auditor

Research external sources (documentation, web, APIs) for libraries, best practices, and general topics.

complete-skill \n When to Use \n Test the entire persistence pipeline \n Instructions \n \n Do this \n Then that \n

Start work on Linear issue $ARGUMENTS