软件下载帮助文档新闻资讯

Skill UI

浏览并发现 19396+ 精选技能

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

搜索 EOR ，共找到 987 条记录

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

Lean 数学定理形式化验证

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

本技能使用 Lean 定理证明器开发和验证数学证明。它支持创建新证明、续写不完整项目以及审计现有形式化以确保符合原始陈述。通过将输入连接到引理、组装定理并检查公理，确保结果可重复。适用于需要形式验证的数学任务，而非普通草稿撰写。

智能合约形式化验证

smart-contract-formal-verification

sickn33/agentic-awesome-skills

提供智能合约形式化验证框架，涵盖Foundry不变量模糊测试、符号执行与定理证明，用于定义安全属性、生成SQL/JSON校验模式并跟踪审计合规状态。

Fictiv 零件报价与下单

K-Dense-AI/scientific-agent-skills

在浏览器中端到端操作 Fictiv 按需制造平台：上传 CAD 文件、配置工艺/材料/表面处理/公差、解读 DFM 反馈、获取即时或人工报价、下单支付，并跟踪与复购定制零件。

上一页 1 2 3...80 81 8283

语言