“lean”的搜索结果

Use when asked to run /clean-clean-cut to cut accumulated records and residue. Not for untracked or non-VCS changes, or branch/worktree cleanup: use git-cleanup.

中文简介正在准备中。当前显示原文说明。

Fix missing theorem proof terms when analyzing Lean 4 environments via importModules. Use when: (1) ConstantInfo.value? returns none for theorems despite TheoremVal.value being Expr, (2) building code graph / dependency extractor for Lean 4 and getting 0 proof dependency edges, (3) Lean 4.30+ project where theorem proofs appear missing from loaded environment, (4) analyzing Mathlib or any Lean 4 project and proof terms are empty. Root cause: breaking change in Lean 4.30 — value? treats theorems as opaque by default.

中文简介正在准备中。当前显示原文说明。

Integrate ManagedCode.Orleans.Graph into an Orleans-based .NET application for graph-oriented relationships, edge management, and traversal logic on top of Orleans grains. Use when the application models graph structures in a distributed Orleans system.

中文简介正在准备中。当前显示原文说明。

从复用、质量、效率和修复是否触及根本机制四个角度检查近期代码改动，整理重复逻辑与过度复杂的结构。按风险处理修改建议，并在应用后进行测试。

• 整理近期代码改动
• 查找重复逻辑和可共用的处理
• 检查最近一次提交的效率

Clean messy tabular data through OpenRefine using command-line operations. Import files, inspect rows, apply reusable JSON transformation histories, and export cleaned CSV or TSV data, with session support for undoing and redoing changes.

中文简介正在准备中。当前显示英语简介。

• Remove extra spaces from names in a CSV file
• Reuse the same cleaning steps on another dataset
• Inspect sample rows before and after transformation

Structure Python code to release files and database connections reliably, including when errors occur. Covers context managers, which handle setup and cleanup, asynchronous resources, nested cleanup, and streaming responses that retain accumulated state.

中文简介正在准备中。当前显示英语简介。

• Releasing database connections when errors occur
• Cleaning up files and temporary files
• Creating asynchronous context managers

Design or refactor backend services with clear layers and dependency rules. Using Clean Architecture, Hexagonal Architecture, and Domain-Driven Design, it separates business logic from databases and frameworks and defines interfaces that support testing without external services.

中文简介正在准备中。当前显示英语简介。

• Designing the structure of a new backend service
• Separating business logic from database and HTTP code
• Resolving circular dependencies between layers

Prepare raw credit data for pre-loan modeling by checking data quality and screening variables. Review missing values, predictive usefulness, stability, noise, and correlation, then export an Excel report with organization-level statistics and cleaning results.

中文简介正在准备中。当前显示英语简介。

• Prepare credit data before building a model
• Compare missing values and bad-sample rates across organizations
• Screen variables for usefulness, stability, and redundancy

Simplify bloated AI-generated code by removing dead code, duplicated logic, and unnecessary layers while checking that existing behavior stays intact. Use a limited cleanup scope, verify changes with relevant checks, or request a review without edits.

中文简介正在准备中。当前显示英语简介。

• Removing duplicate logic and unused code
• Simplifying unnecessary wrappers without changing behavior
• Cleaning up only a specified set of changed files

Prepare readable Markdown from HTTPS article pages using an optional external Defuddle cleaner. The workflow checks URLs, requires network consent and executable review, previews extracted content, and can retain the cleaned source separately from wiki ingestion.

中文简介正在准备中。当前显示英语简介。

• Extract readable Markdown from a web article
• Prepare a web source for later wiki ingestion
• Save cleaned content with source metadata

Work through eight canvas sections to clarify a business problem, target users, desired outcomes, and possible solutions. Turn assumptions into testable hypotheses and choose the smallest experiment to investigate the most important uncertainty before development.

中文简介正在准备中。当前显示英语简介。

• Framing the problem behind a new product idea
• Aligning a cross-functional team on assumptions
• Choosing which hypothesis to test first

Add burned-in captions to a finished video using Whisper timings from its own audio. Choose paper, bold, or clean styling, and optionally use narration text to preserve intended spelling. Outputs include the captioned video and an SRT file.

中文简介正在准备中。当前显示英语简介。

• Adding captions to a finished video
• Restyling captions for social media shorts
• Preserving brand names and numbers from a narration script

Clean up unwanted Dropbox files and folders through a review process. Identify candidates, check metadata and sharing status, optionally preserve copies, and delete only explicitly confirmed items, with a report of each outcome.

中文简介正在准备中。当前显示英语简介。

• Review and delete duplicate PDFs in a Dropbox folder
• Remove obsolete draft files after confirmation
• Clean up temporary exports stored in Dropbox

Build MCP servers using the Leanmcp SDK with decorator-based TypeScript. Use this skill when users ask for "leanmcp", "MCP with decorators", "MCP with authentication", "MCP with elicitation", "MCP with environment injection", or want a simpler, more elegant way to build MCP servers. Leanmcp provides automatic schema generation, dependency injection, authentication, and user input collection.

中文简介正在准备中。当前显示原文说明。

Translate Python programs to equivalent Lean4 code while preserving semantics and ensuring type safety. Use when users ask to convert, translate, or port Python code to Lean4, or when they need to verify Python algorithms using Lean4's theorem proving capabilities. Handles functions, classes, data structures, control flow, and ensures the generated Lean4 code is well-typed, executable, and can successfully run.

中文简介正在准备中。当前显示原文说明。

Facilitate a structured conversation to define clean code principles for a repository. Produces a formal clean-code.md document that the clean-code atom will use as its override. Use when setting up coding standards, defining code quality rules, or when the user says 'setup clean code', 'define coding standards', 'code quality principles', 'coding guidelines', or 'help me define my code standards'.

中文简介正在准备中。当前显示原文说明。

Systematic code cleanup and refactoring agent that identifies and fixes code quality issues without changing functionality. Focuses on: - Dead code removal - Import organization - Type improvements - Consistent patterns - File organization Use when "User asks to "clean up" code, User mentions "dead code" or "unused", User wants to "organize imports", User asks about "code quality", User wants to "refactor" without changing behavior, Code review identifies cleanup items, After major feature completion, cleanup, refactoring, code-quality, maintenance, organization" mentioned.

中文简介正在准备中。当前显示原文说明。

AWS Cost Cleanup workflow skill. Use this skill when the user needs Automated cleanup of unused AWS resources to reduce costs and the operator should preserve the upstream workflow, copied support files, and provenance before merging or handing off.

中文简介正在准备中。当前显示原文说明。

Use when safely removing dead frontend code, unused exports, stale components, obsolete routes, unused dependencies, or cleanup targets found by tools such as knip, depcheck, ts-prune, TypeScript, ESLint, or manual review. Do not use for feature rewrites that change behavior; Chinese triggers include dead code, clean up unused, refactor clean, dependency cleanup, delete useless code.

中文简介正在准备中。当前显示原文说明。

Deep codebase cleanup — kills dead code, fixes all lint/format warnings, removes orphaned files, cleans stale TODOs, strips security hazards, tightens TypeScript strict mode, and organizes imports. Triggers: clean up, dead code, unused imports, lint, technical debt cleanup.

中文简介正在准备中。当前显示原文说明。

Use when executing admin-level cleanup in a Salesforce org: deleting unused fields, removing inactive Flow versions, deactivating legacy automation, running Salesforce Optimizer or Org Check, and performing destructive metadata deploys. Triggers: 'clean up unused fields', 'delete inactive flows', 'run Optimizer', 'org has too many custom fields', 'remove old workflow rules', 'Flow version limit'. NOT for assessing or reporting on technical debt (use architect/technical-debt-assessment). NOT for code-level refactoring or Apex cleanup (use apex/ skills).

中文简介正在准备中。当前显示原文说明。

Clean up the local workspace after a dev branch has been merged into main. Verifies the current dev branch is fully merged into origin/main, then switches to main, pulls the latest, deletes the local dev branch, and deletes the remote dev branch if it still exists. STOPS and warns the user if the current branch is not yet merged. Triggers: cleanup workspace, cleanup branch, delete merged branch, finish dev branch, post-merge cleanup

中文简介正在准备中。当前显示原文说明。

使用远程环境或Docker测试安装、服务集成和实际操作，根据代码可信程度选择环境，并完成故障排查、结果检查及测试后的资源清理。

• 在干净环境中测试软件包安装
• 验证与真实服务的集成
• 检查macOS、Windows及WSL2行为

为Android和KMP项目梳理模块结构与依赖关系，将业务逻辑、界面和数据获取分开设计，并通过实现示例明确各层职责。

• 规划Android或KMP项目结构
• 从界面代码中分离业务逻辑
• 设计本地与服务器数据获取方式