본문으로 건너뛰기
cccskills
무료GitHub에 공개

math-derivation

Turn scattered formulas and theory notes into a derivation that can be checked step by step. Keep definitions and assumptions consistent, distinguish exact identities from approximations, and make hidden conditions and limits explicit.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

원문원문 설명 보기

数学公式与理论线推导。用于整理散乱公式、固定不变量和记号、推导恒等式/近似/局部命题、检查隐藏假设，或把理论笔记变成可审计推导包。

tradecatlabs/vibe-coding-cn
설치 방법 보기

이럴 때 유용합니다

  • Organize scattered formulas and theory notes
  • Trace the steps behind an algebraic identity
  • State conditions and error orders for approximations
  • Check hidden assumptions and changes in the target quantity

포함된 파일(6)

  • SKILL.md3.0 KB
  • CHANGELOG.md313 B
  • references/index.md138 B
  • references/pressure-tests.md356 B
  • references/source-map.md266 B
  • VERSION6 B

SKILL.md(원문)

설치하기 전에 에이전트에게 전달되는 지시 내용을 확인할 수 있습니다.

Math Derivation

建立诚实、可检查的推导链；不把解释、近似或数值现象伪装成严格证明。

Position in the Method Map

本 skill 连接“规格与语义”到“演绎验证/定理证明”：它先保持 ProblemContract 的定义和量词不变，再将论证拆成可复核的中间命题。它不是 Lean elaboration，也不是自动化求解器；需要形式化 proof term 时转交 math-formalization。地图总览见 FORMAL-METHODS-MAP.md。

When to Use This Skill

  • 用户要求推导公式、整理理论线或解释等式来源。
  • 当前公式混用了不同对象、极限、尺度或适用域。
  • 需要将全局量分解为可解释项，或从一般模型收敛到可验证特例。

Not For / Boundaries

  • CandidateObservation 未形成明确用户目标或 active ProblemContract 时回到 math-discovery；不得用推导文本替候选完成准入。
  • 完整定理证明交给 math-proof。
  • 具体符号/数值检查交给 math-computation，其结果只是证据层。
  • 不静默增加假设、交换极限/积分、忽略收敛条件或改变目标对象。

Quick Reference

Target：要得到什么，角色是 identity / proposition / approximation / interpretation？
Invariant object：贯穿推导的唯一顶层对象是什么？
Assumptions：显式、隐藏、局部、渐近和正则性条件。
Notation：每个符号先定义，一物一名。
Map：中间恒等式/引理、每步所用假设、近似进入位置。
Checks：维度、定义域、边界、极限、特例、符号与数值反算。
Status：coherent / coherent-after-reframing / blocked。

Examples

Example 1：精确恒等式

  • 输入：需要证明两个代数表达式等价。
  • 动作：固定定义域和变量假设，逐步变形，再交给 SymPy 做差为零检查。
  • 验收：区分纸面推导与 symbolically-checked，不标记 kernel-checked。

Example 2：渐近近似

  • 输入：推导大样本近似。
  • 动作：标明极限变量、余项、均匀性和常数依赖。
  • 验收：结论含适用域和误差阶，不把近似写成恒等式。

Example 3：目标对象错误

  • 输入：局部代理量被当作全局目标。
  • 动作：指出对象切换，重构为“全局量 → 分解 → 局部切片”。
  • 验收：状态为 coherent-after-reframing 并保留原目标差异。

References

  • references/source-map.md：推导方法来源和未吸收边界。
  • references/pressure-tests.md：隐藏假设压力场景。

Maintenance

  • Sources：kdense-scientific-skills 与本项目 ProblemContract/证据分层规则；不依赖未发布本机来源。
  • Last updated：2026-08-13。
  • Verification：python3 scripts/smoke_math.py 只验证计算层；推导仍需逐步审计。

리뷰

아직 리뷰가 없습니다. 사용해 본 소감을 남겨 주세요.

댓글

로그인 없이 쓸 수 있습니다. 사용 후기, 질문, 작동하지 않은 환경 등을 편하게 남겨 주세요.

아직 댓글이 없습니다. 첫 댓글을 남겨 보세요.

보내면 바로 공개됩니다. 이메일 주소나 전화번호 같은 개인 정보는 쓰지 마세요. URL은 2개까지입니다.

0 / 1,000자

이 양식은 reCAPTCHA로 보호되며 Google 개인정보처리방침 및 서비스 약관이 적용됩니다.

같은 저장소의 스킬

analyzing-ethereum-smart-contract-vulnerabilities

무료

Analyze Solidity smart contracts with Slither and Mythril before Ethereum deployment. Combine code inspection with execution path analysis, review potential vulnerabilities, remove duplicate findings, and produce an audit report with severity ratings and suggested fixes.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

  • Checking Solidity contracts before deployment
  • Investigating reentrancy and access control weaknesses
  • Consolidating findings from Slither and Mythril
tradecatlabs/vibe-coding-cn1.8만2026년 10월 19일 업데이트

auditing-foundry-smart-contract-security

무료

Audit Solidity contracts in Foundry projects before deployment using code analysis, randomized tests, manual review, and private key checks. Produces a JSON report with findings, remediation, test coverage, and a pass or fail deployment decision.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

  • Auditing Solidity contracts before deployment
  • Adding fuzz and invariant tests for contracts that move funds
  • Reviewing private key storage and deployment scripts
tradecatlabs/vibe-coding-cn1.8만2026년 10월 19일 업데이트

auto-skill

무료

Build reusable Claude Skills from documentation, APIs, code, and specifications. Organize instructions and reference files, define clear activation conditions, add reproducible examples, and check new or existing skills against a delivery checklist.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

  • Creating a skill from documentation, code, or specifications
  • Reorganizing an overly long SKILL.md
  • Clarifying when a skill should activate
tradecatlabs/vibe-coding-cn1.8만2026년 10월 19일 업데이트

auto-tmux

무료

Automate tmux, a tool for managing multiple terminal workspaces, to inspect output, send commands, monitor stalled tasks, and record logs. Coordinate multiple AI terminals with task queues, file locks, status tracking, and handoff reports.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

  • Inspect output and errors across multiple AI terminals
  • Resume tasks waiting for confirmation
  • Coordinate tasks and file locks across AI workers
tradecatlabs/vibe-coding-cn1.8만2026년 10월 19일 업데이트

math-computation

무료

Check mathematical expressions, solve equations, and search bounded ranges for counterexamples using symbolic and numerical libraries. Record assumptions, commands, and results so calculations can be repeated, while keeping computational evidence distinct from general mathematical proof.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

  • Checking identities and integrals with exact arithmetic
  • Searching a defined range for counterexamples
  • Cross-checking numerical results at higher precision
tradecatlabs/vibe-coding-cn1.8만2026년 10월 19일 업데이트

math-discovery

무료

Shape broad mathematical interests into precise research questions. Search prior work on definitions and theorems, record traceable sources, map supporting and conflicting evidence, and identify gaps that could lead to testable conjectures.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

  • Tracing a theorem’s variants and related work
  • Checking prior work on an integer sequence
  • Defining search terms and the scope of a research question
tradecatlabs/vibe-coding-cn1.8만2026년 10월 19일 업데이트

tradecatlabs의 스킬 모두 보기

이 스킬의 문제 신고