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.
中文简介正在准备中。当前显示英语简介。
数学公式与理论线推导。用于整理散乱公式、固定不变量和记号、推导恒等式/近似/局部命题、检查隐藏假设，或把理论笔记变成可审计推导包。
安装前可以查看交给 AI 代理的指令内容。
建立诚实、可检查的推导链；不把解释、近似或数值现象伪装成严格证明。
本 skill 连接“规格与语义”到“演绎验证/定理证明”：它先保持 ProblemContract 的定义和量词不变，再将论证拆成可复核的中间命题。它不是 Lean elaboration，也不是自动化求解器；需要形式化 proof term 时转交 math-formalization。地图总览见 FORMAL-METHODS-MAP.md。
math-discovery；不得用推导文本替候选完成准入。math-proof。math-computation，其结果只是证据层。Target：要得到什么，角色是 identity / proposition / approximation / interpretation？
Invariant object：贯穿推导的唯一顶层对象是什么？
Assumptions：显式、隐藏、局部、渐近和正则性条件。
Notation：每个符号先定义，一物一名。
Map：中间恒等式/引理、每步所用假设、近似进入位置。
Checks：维度、定义域、边界、极限、特例、符号与数值反算。
Status：coherent / coherent-after-reframing / blocked。
symbolically-checked，不标记 kernel-checked。coherent-after-reframing 并保留原目标差异。references/source-map.md：推导方法来源和未吸收边界。references/pressure-tests.md：隐藏假设压力场景。kdense-scientific-skills 与本项目 ProblemContract/证据分层规则；不依赖未发布本机来源。python3 scripts/smoke_math.py 只验证计算层；推导仍需逐步审计。还没有评价。欢迎分享你的使用感受。
无需登录即可发表。欢迎分享使用感受、提问，或说明在哪些环境下无法运行。
还没有评论。来写第一条吧。
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.
中文简介正在准备中。当前显示英语简介。
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.
中文简介正在准备中。当前显示英语简介。
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.
中文简介正在准备中。当前显示英语简介。
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.
中文简介正在准备中。当前显示英语简介。
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.
中文简介正在准备中。当前显示英语简介。
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.
中文简介正在准备中。当前显示英语简介。