搜索

PythonReactSEOPDF

商业与营销 AI 技能

发现 商业与营销 相关 Skills,比较来源仓库和用途,查看适合你工作流的技能说明。

分类目录: 商业与营销

显示第 31,153–31,176 个,共 81,576 个

商业与营销 清除筛选

全部技能

GitHub

lean-proof-walk

plurigrid

GF(3)-balanced random walk through Lean proof states. Use when generating formal proof chains with parallel triad verification. Invokes 3 agents (Generator +1, Coordinator 0, Validator -1) to traverse proof spa...

GitHub

specter-acset

plurigrid

Specter-style bidirectional navigation for Julia Collections, S-expressions, and ACSets with inline caching

GitHub

zx-calculus

plurigrid

Coecke's ZX-calculus for quantum circuit reasoning via string diagrams with Z-spiders (green) and X-spiders (red)

GitHub

iot-device-provisioning

plurigrid

Secure provisioning for TizenRT/ARTIK IoT devices. Coordinates certificate installation, key management, and network onboarding.

GitHub

variant-analysis

plurigrid

Find similar vulnerabilities and bugs across codebases using pattern-based analysis. Use when hunting bug variants, building CodeQL/Semgrep queries, analyzing security vulnerabilities, or performing systematic...

默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。

更多筛选

热度筛选

热门标签