职业分类
软件开发工程师
描述
Uses automata and grammar reasoning for parsing, validation, and language constraints.
原文语言：英语
更新
这个仓库中的 skills
JonatanGS777/ai-skill-agent-control-deck-2026 - 第 3 页
SkillsMP 已收集 JonatanGS777/ai-skill-agent-control-deck-2026 中的 202 个 Skill。打开任一 Skill 可查看来源和详情。
JonatanGS777/ai-skill-agent-control-deck-2026已展示 40 / 202 个已收集 Skill。
skill
职业分类
描述
更新
职业分类
网页与数字界面设计师
描述
Diseña interfaces frontend ultramodernas, adaptables al brief, con lenguaje visual distintivo y sin patrones genéricos de IA.
原文语言：多语言混合
更新
职业分类
软件开发工程师
描述
Construye productos full stack 2026 con React 19, TypeScript, Tailwind y arquitectura moderna de producción.
原文语言：西班牙语
更新
职业分类
软件开发工程师
描述
Uses functional abstractions, immutability, and compositional reasoning rigorously.
原文语言：英语
更新
职业分类
软件开发工程师
描述
Reasons about connectivity, paths, cycles, and graph properties for system models.
原文语言：英语
更新
职业分类
数学家
描述
Uses vector and matrix reasoning for transformations, constraints, and model formulation.
原文语言：英语
更新
职业分类
软件开发工程师
描述
Uses Hoare-style reasoning and contracts for program correctness and safety.
原文语言：英语
更新
职业分类
高等院校数学科学教师
描述
Applies first-order logic with quantifiers, domains, and formally scoped predicates.
原文语言：英语
更新
职业分类
数学家
描述
Uses direct proof, contraposition, contradiction, and constructive proof techniques.
原文语言：英语
更新
职业分类
数学家
描述
Builds solutions using propositional logic, truth conditions, and contradiction checks.
原文语言：英语
更新
职业分类
高等院校数学科学教师
描述
Desarrolla soluciones matematicas avanzadas para axiomatic set reasoning con rigor formal, validacion reproducible y decisiones auditables.
原文语言：多语言混合
更新
职业分类
数据科学家
描述
Desarrolla soluciones matematicas avanzadas para bayesian inference systems con rigor formal, validacion reproducible y decisiones auditables.
原文语言：多语言混合
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para calculus of variations core con rigor formal, validacion reproducible y decisiones auditables.
原文语言：多语言混合
更新
职业分类
软件开发工程师
描述
Desarrolla soluciones matematicas avanzadas para category theory programming bridge con rigor formal, validacion reproducible y decisiones auditables.
原文语言：英语
更新
职业分类
运筹学分析师
描述
Desarrolla soluciones matematicas avanzadas para combinatorial optimization design con rigor formal, validacion reproducible y decisiones auditables.
原文语言：多语言混合
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para control theoretic math con rigor formal, validacion reproducible y decisiones auditables.
原文语言：英语
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para convex optimization toolkit con rigor formal, validacion reproducible y decisiones auditables.
原文语言：多语言混合
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para differential equation modeling con rigor formal, validacion reproducible y decisiones auditables.
原文语言：多语言混合
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para diophantine equation logic con rigor formal, validacion reproducible y decisiones auditables.
原文语言：多语言混合
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para discrete probability modeling con rigor formal, validacion reproducible y decisiones auditables.
原文语言：多语言混合
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para dynamic programming math con rigor formal, validacion reproducible y decisiones auditables.
原文语言：英语
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para eigen structure analysis con rigor formal, validacion reproducible y decisiones auditables.
原文语言：多语言混合
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para entropy and divergence analysis con rigor formal, validacion reproducible y decisiones auditables.
原文语言：英语
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para formal proof strategy con rigor formal, validacion reproducible y decisiones auditables.
原文语言：多语言混合
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para formal verification mathematics con rigor formal, validacion reproducible y decisiones auditables.
原文语言：英语
更新
职业分类
数学家数据科学家
描述
Desarrolla soluciones matematicas avanzadas para geometric computation math con rigor formal, validacion reproducible y decisiones auditables.
原文语言：多语言混合
更新
职业分类
统计学家
描述
Desarrolla soluciones matematicas avanzadas para graph spectral analysis con rigor formal, validacion reproducible y decisiones auditables.
原文语言：英语
更新
职业分类
统计学家
描述
Desarrolla soluciones matematicas avanzadas para hypothesis testing design con rigor formal, validacion reproducible y decisiones auditables.
原文语言：英语
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para induction proof engineering con rigor formal, validacion reproducible y decisiones auditables.
原文语言：英语
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para information theory foundations con rigor formal, validacion reproducible y decisiones auditables.
原文语言：多语言混合
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para linear algebraic transforms con rigor formal, validacion reproducible y decisiones auditables.
原文语言：英语
更新
职业分类
统计学家
描述
Desarrolla soluciones matematicas avanzadas para mathematical model audit con rigor formal, validacion reproducible y decisiones auditables.
原文语言：多语言混合
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para matrix factorization reasoning con rigor formal, validacion reproducible y decisiones auditables.
原文语言：英语
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para measure theory for engineers con rigor formal, validacion reproducible y decisiones auditables.
原文语言：英语
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para modular arithmetic design con rigor formal, validacion reproducible y decisiones auditables.
原文语言：多语言混合
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para nonlinear programming analysis con rigor formal, validacion reproducible y decisiones auditables.
原文语言：英语
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para number theory algorithms con rigor formal, validacion reproducible y decisiones auditables.
原文语言：英语
更新
职业分类
数据科学家
描述
Desarrolla soluciones matematicas avanzadas para numerical method stability con rigor formal, validacion reproducible y decisiones auditables.
原文语言：英语
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para predicate logic modeling con rigor formal, validacion reproducible y decisiones auditables.
原文语言：多语言混合
更新
职业分类
数学家
描述
Desarrolla soluciones matematicas avanzadas para recurrence relation solving con rigor formal, validacion reproducible y decisiones auditables.
原文语言：英语
更新
已展示 40 / 202 个已收集 Skill。