下载

Skill UI

浏览并发现 10388+ 精选技能

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

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

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

文档到数学问题规范提取

sickn33/antigravity-awesome-skills

这是一个高级技能，用于将叙述性的技术文档、研究论文节选或自然语言问题描述，系统地转化为结构化的数学问题规范（MPS）。它能够精确提取变量、约束条件、优化目标和不确定性参数，并严格遵循零推理协议，确保所有输出内容均有原文证据支撑，适用于工程和数据科学领域的模型构建。

不变式守卫：代码正确性设计

invariant-guard

sickn33/antigravity-awesome-skills

不变式守卫（Invariant-Guard）是一种代码设计方法，要求开发者在编写任何复杂算法前，必须先定义函数的完整契约、循环不变量、终止参数和所有边界情况。它强制实现“正确性优先”的思维，用于解决难以用常规测试覆盖的微妙逻辑错误，确保代码具备数学上的严谨性和可验证性。

高级数学算法优化

sickn33/antigravity-awesome-skills

此技能用于在经典算法已达到最优边界时，通过引入高级数学理论和概率数据结构（如Bloom Filter、HyperLogLog、FFT等）来提升算法的渐进性能。适用于处理超大规模数据集，突破传统算法复杂度限制，前提是能够接受明确定义的近似误差。

确定性UI布局与可用性审计

deterministic-design

sickn33/antigravity-awesome-skills

本技能提供一套严谨的UI审计流程，用于超越主观感受，科学地验证界面的布局平衡性与可用性。它结合了基于数学的确定性空间审计（计算重心、光学中心等）和基于尼尔森十大可用性原则的专业可用性评审，确保设计达到可量化的标准。

瑞士设计网格系统

sickn33/antigravity-awesome-skills

适用于需要严格网格系统、极简主义和功能导向设计的场景。该风格强调绝对的数学网格、无衬线字体（如Helvetica）和非居中、不对称的布局，非常适合需要专业、冷静、视觉冲击力强的品牌展示。

语言