下载

Skill UI

浏览并发现 10245+ 精选技能

全部编程开发人工智能设计创意产品商业数据科学市场营销职场通用效率工具硬件工程语言学习

搜索数学，共找到 17 条记录

默认排序最新上传最多下载

Mergekit 模型融合实战

Orchestra-Research/AI-Research-SKILLs

通过 Mergekit 在无需重训的前提下融合多个微调模型，交叉叠加数学、编程与对话能力，涵盖 SLERP、TIES、DARE、任务算术与线性融合，助力快速打造高性能多技能模型并部署。

SymPy 符号计算

K-Dense-AI/claude-scientific-skills

提供 SymPy 的符号数学指导，涵盖代数表达式化简、微积分、方程求解、线性代数、物理计算、数论与几何等场景，帮助输出精确符号结果并生成可执行代码。

数学驱动代码分析

sickn33/antigravity-awesome-skills

借助图论、范畴论、随机系统、信息论与形式不变量等深度数学工具，剖析代码与架构，发现隐藏结构并推动性能与可靠性提升。

数学奥林匹克解题器

anthropics/claude-plugins-official

专注于 IMO、Putnam、USAMO、AIME 等竞赛数学题，先多轮推理优化解法，再用独立的对抗验证器查找漏洞，最终输出可信度报告与通过验证的 LaTeX 证明。

Manim视频动画制作工具

affaan-m/everything-claude-code

本技能基于Manim库，用于创建高质量的数学和科学动画视频。它为教育工作者、研究人员和内容创作者提供强大的可视化工具，帮助用户将复杂的概念转化为生动、专业的动画演示，非常适合制作教学或科普视频。

社交图谱加权排名分析

social-graph-ranker

affaan-m/everything-claude-code

这是一个先进的网络情报工具，用于计算加权图谱分数，描绘到达目标的最优路径。它能够识别潜在的引荐人，衡量跨连接的“桥梁价值”，并帮助用户判断是否需要温和引荐或直接外联。对于需要掌握核心排名数学原理的用户尤其适用。

Obsidian 风格 Markdown 编辑

obsidian-markdown

kepano/obsidian-skills

覆盖 frontmatter、维基链接、嵌入、提示框、数学公式、图表等 Obsidian 专有语法，确保在编辑或整理 Obsidian 笔记时语法有效并在阅读视图中正确渲染内容。

K-12智能数学导师

01-k12-mathematics

24kchengYe/human-skill-tree

本技能是一个全面的K-12数学辅导系统，覆盖从算术到微积分的知识点。它不只是给答案，而是采用苏格拉底提问、CPA方法等科学教学策略，帮助学生理解数学的底层逻辑，建立真正的数学直觉。支持全球主流教育体系的考试准备和进度跟踪。

Python符号数学计算库

K-Dense-AI/scientific-agent-skills

SymPy是一个用于精确符号数学计算的强大Python库。它允许用户处理复杂的数学表达式，进行符号代数、微积分、方程求解、线性代数和物理模型构建。适用于科学计算、工程建模和高等数学研究，避免了浮点数精度误差。

Awwwards级前端设计工程

Leonxlnx/taste-skill

这是一个用于顶尖前端开发人员的高级指南，旨在构建具备“Awwwards”级别的、高度艺术化和交互性的网站。它要求掌握GSAP动画、数学精确的网格系统（Bento Grid）和严格的AIDA页面结构，确保输出的UI既具备极高的设计美感，又拥有复杂的动态交互性。

严格数学证明校验与修复工作流

wanshuiyin/Auto-claude-code-research-in-sleep

该技能通过跨模型对抗评审机制，系统化地验证数学证明的严谨性。它可以读取LaTeX格式的证明文件，自动识别逻辑漏洞和结构缺陷，并利用完整的推导过程进行修复，持续循环重审直到达到收敛。最后，生成详细的审计报告，确保数学论证的完整性和可靠性。

高精度数学计算器

Code-and-Sorts/awesome-copilot-agents

该工具用于评估复杂的算术表达式，采用任意精度的小数数学计算，特别适用于金融、科学或工程领域。它能够避免标准浮点数运算导致的精度丢失问题，支持加减乘除、指数和括号运算。

语言