32 skills · sorted by relevance
Rules for deducting business meals at 50%, required documentation (who, what, where, why), entertainment at 0% since TCJA 2018, on-premises meals going to 0% in 2026, and common mistakes. Trigger on "deduct a meal", "business lunch", "client dinner deductible", "meals deduction", "entertainment deduction", "can I write off this dinner".
The English summary is being prepared. Showing the original description.
Choose between standard mileage rate and actual expenses for business vehicle deductions. Covers the IRS mileage rate, method lock-in rules, mileage log requirements, commuting rules, luxury auto limits, and heavy vehicle exceptions. Trigger on "mileage deduction", "standard mileage rate", "vehicle expenses", "car deduction", "business miles", "mileage tracking".
The English summary is being prepared. Showing the original description.
Prepare for China's annual individual income tax reconciliation (个税年度汇算): check income, deductions and special additional deductions, compare the two treatments of a year-end bonus, and estimate the refund or amount to pay before filing in the 个人所得税 app. Use when asked 个税汇算怎么弄, 年终奖单独计税还是合并, 我能退多少税, 专项附加扣除, or how does China's annual tax reconciliation work. Produces a filing checklist, the deductions the person may be missing, a bonus comparison, the estimate with workings, and deadlines. Not tax advice.
The English summary is being prepared. Showing the original description.
Calculate the home office deduction using either the simplified method ($5/sq ft, max $1,500) or actual expense method (Form 8829). Covers qualification rules, exclusive-use test, direct vs indirect expenses, and depreciation of home. Trigger on "home office deduction", "Form 8829", "can I deduct my home office", "work from home tax".
The English summary is being prepared. Showing the original description.
This skill should be used when the user needs to calculate their income tax (所得税), compute deductions, or import withholding slips. Trigger phrases include: "所得税を計算", "確定申告書を作成", "控除を計算", "源泉徴収票を取り込む", "所得税額", "納付額を計算", "還付額を計算", "第一表", "第二表", "申告書B", "所得控除", "税額控除".
The English summary is being prepared. Showing the original description.
This skill should be used when the user asks tax-related questions, wants advice on deductions or tax savings, or needs expert guidance equivalent to a tax accountant (税理士) or life planner. Trigger phrases include: "税金について教えて", "控除は使える？", "確定申告の相談", "節税", "ふるさと納税の上限", "iDeCoの効果", "住宅ローン控除", "青色申告のメリット", "消費税はかかる？", "扶養に入れる？", "配偶者控除", "医療費控除", "法人成り", "経費になる？", "税率を教えて", "所得税の計算", "住民税", "社会保険料", "103万の壁", "130万の壁", "インボイス", "簡易課税", "税制改正", "開業届", "副業バレ", "白色申告", "税務調査", "特定支出控除", "予定納税", "中間納付".
The English summary is being prepared. Showing the original description.
Runs the pay cycle so it is right, on time, and provable — the calendar and cutoffs, what feeds pay from the HRIS and time systems, gross-to-net and the deductions in it, multi-jurisdiction registration and tax filing, off-cycle payments and corrections, and the reconciliation to the general ledger. Use this to design or audit a payroll process, work out what happens when someone is paid wrong, or understand what changes when you hire in a new state or country.
The English summary is being prepared. Showing the original description.
This skill manages furusato nozei (hometown tax) donations. Use when the user wants to register donation data, read donation receipts, check deduction limits, or manage their furusato nozei records. Trigger phrases: "ふるさと納税", "furusato", "寄附金", "寄付金", "ふるさと納税の控除", "寄附金受領証明書", "ワンストップ特例".
The English summary is being prepared. Showing the original description.
控除証明書（生命保険料・地震保険料等）の画像を読み取り構造化データを返す。 他のスキルから呼び出されるほか、直接ユーザーが呼び出すことも可能。
The English summary is being prepared. Showing the original description.
Pre-tax vs Roth analysis, charitable giving optimization, capital gains timing, deduction maximization. Not a substitute for CPA.
The English summary is being prepared. Showing the original description.
Manage OpenViking collections (OV libraries) from the command line with `ov-cp` — list / create / get / update / usage / get the data-plane API key / delete, plus managing the users and account data spaces of an enterprise-tier library (list / create / register / update / delete), account-scoped users / API keys / usage, and configuring how a library is billed (AgentPlan AFP deduction vs Volcano pay-as-you-go, `--pay-type` / `--seat-id`). Use when the user wants to provision or inspect an OpenViking library, fetch a library's data-plane API key, do the create→get-key cold-start, manage a library's users or accounts / 数据空间, set or switch a library's billing, or otherwise drive the OpenViking control plane (topapi). Authenticates with an Ark AgentPlan ApiKey.
The English summary is being prepared. Showing the original description.
Think and work like an expert Logician. Use when a task calls for Logician judgment. Reasons from syntax-versus-semantics and object-versus-metalanguage discipline, the ⊢/⊨ distinction, and matching each logic to its intended semantics through natural deduction and sequent calculus (cut-elimination, subformula property), compactness and Löwenheim–Skolem, forcing and diagonalization, and proof assistants (Lean 4/mathlib, Coq, Isabelle/HOL, Agda) with Z3/CVC5/Vampire/Mace4 automation while treating use–mention conflation, second-order misuse of compactness, mis-stated incompleteness hypotheses (ω-consistency vs consistency), and Gödel philosophical overreach as first-class failure modes.
The English summary is being prepared. Showing the original description.
Tax optimization strategies analyzer. Identifies high-impact tax savings across tax-loss harvesting, tax-advantaged accounts (401k, IRA, HSA), Roth conversions, backdoor and mega backdoor Roth, charitable giving, business deductions, capital gains harvesting, state tax minimization, and estate tax planning. Produces FINANCE-TAXES.md with prioritized strategies and estimated annual tax savings.
The English summary is being prepared. Showing the original description.
Guide taxpayers through filing Geneva (Switzerland) tax returns with GeTax. Covers salary, professional expenses (forfaitaire vs effectifs), pillar 3a/3b, health insurance, medical expenses, securities (DA-1/RSI), foreign property, bank accounts, debts, crypto, and dual-income couples. Use when filing via GeTax, optimizing ICC/IFD deductions, declaring foreign property or income, handling DA-1 reclaims, or navigating Geneva cantonal tax rules.
The English summary is being prepared. Showing the original description.
Personal finance assistant for budgeting, savings goals, investment tracking, debt optimization, tax preparation, insurance review, net worth tracking, and financial scenario modeling. Supports multi-currency, bank statement import (CSV/MT940/OFX), and locale-based tax rules. Use for any personal finance question: budget planning, expense tracking, portfolio allocation, FIRE calculations, debt payoff strategies, mortgage comparisons, tax deductions, insurance coverage, retirement planning, and life events with financial impact such as marriage, buying a house, changing jobs, having a baby, or going freelance.
The English summary is being prepared. Showing the original description.
The logic of sentential connectives -- and, or, not, if-then, if-and-only-if -- as a formal system. Covers syntax (well-formed formulas), semantics (truth tables), satisfiability, validity, logical equivalence, normal forms (CNF, DNF), natural-deduction rules, and common translation pitfalls. Use when formalizing arguments with propositional structure, checking validity mechanically, or teaching the foundations of formal reasoning.
The English summary is being prepared. Showing the original description.
The logical structure of mathematical proof -- how first-order logic, natural deduction, and semantic reasoning combine to produce rigorous mathematical arguments. Covers the logical skeleton of direct proof, contraposition, contradiction, cases, and induction; the role of definitions, lemmas, and theorems; how informal mathematical prose maps to formal deductive structure; and the difference between proof-as-object and proof-as-activity. Use when the question is "why is this a valid proof?" rather than "what proof technique applies?"
The English summary is being prepared. Showing the original description.
First-order logic with quantifiers, predicates, functions, and identity. Covers syntax, interpretation over a domain, the universal and existential quantifiers, quantifier scope and binding, translation from natural language with multi-variable predicates, natural deduction for quantifiers, undecidability at first order, and the soundness/completeness theorems. Use when propositional logic is insufficient -- whenever "for all" or "there exists" matters to the argument.
The English summary is being prepared. Showing the original description.
Intelligent financial management skill for Claude Code that provides comprehensive PocketSmith API integration with AI-powered analysis, transaction categorization, rule management, tax intelligence, and scenario planning. Use when working with PocketSmith data for (1) Transaction categorization and rule management, (2) Financial analysis and reporting, (3) Australian tax compliance (ATO) and deduction tracking, (4) Scenario analysis and forecasting, (5) PocketSmith setup health checks, (6) Budget optimization and spending insights.
The English summary is being prepared. Showing the original description.
ADI-cycle structured reasoning (Abduction-Deduction-Induction-Audit-Decide). Use for complex decisions when multiple hypotheses need to be considered.
The English summary is being prepared. Showing the original description.
Personal finance assistant for budgeting, savings goals, investment tracking, debt optimization, tax preparation, insurance review, net worth tracking, and financial scenario modeling. Supports multi-currency, bank statement import (CSV/MT940/OFX), and locale-based tax rules. Use for any personal finance question: budget planning, expense tracking, portfolio allocation, FIRE calculations, debt payoff strategies, mortgage comparisons, tax deductions, insurance coverage, retirement planning, and life events with financial impact such as marriage, buying a house, changing jobs, having a baby, or going freelance.
The English summary is being prepared. Showing the original description.
Derive a theoretical result step-by-step from first principles or established theorems, with every step explicitly justified and special cases checked. Use when deriving a formula or theorem from first principles, proving a mathematical statement by logical deduction, re-deriving a textbook result for verification or adaptation, extending a known result to a more general setting, or producing a self-contained derivation for a paper or thesis.
The English summary is being prepared. Showing the original description.
当用户需要构建一个系统/理论/知识体系、寻找问题的底层原理、或在问"如何从根本原理出发推导一切""怎么找到事物的本质""为什么物理学/哲学思维有用"时激活。 核心信号：用户在做体系化思考、寻找"第一因"、或试图从少量前提推导出完整方案。 不适用于：纯粹的执行层面问题、不需要理论指导的实操任务。
The English summary is being prepared. Showing the original description.
Write a technical tax position memo that documents a tax filing position with authorities, facts, analysis, and conclusion. Use when a tax professional says "write a tax memo", "document this tax position", "research memo for the partner", "we need to support this deduction", "document the tax treatment", "write up the authority for this position", "technical memo on [tax issue]", "MLTN analysis", "reasonable basis memo", "document the IRC section that supports this", or needs to formally document a tax conclusion. Also trigger when someone has a tax question that needs a written conclusion backed by legal authority - even if they don't use the words "tax memo" or "tax position".
The English summary is being prepared. Showing the original description.