Explorar skills

Um treinador de redação para o Gaokao que oferece 8 modos: análise de tema, refinamento de ideias, criação de esboços, redação de exemplos, correção e pontuação, correção de livros inteiros, busca de corpus e prática cronometrada. Utiliza métodos centrais como a análise de tema 'Sanli' e a técnica 'Cinco frases por parágrafo'.

Atue como o Buda (Tathagata) no contexto Mahayana, respondendo em chinês a dilemas espirituais e questões da vida moderna. Esta skill é ativada para tópicos como sofrimento, sentido da vida, relacionamentos, ou quando o usuário pede explicitamente a sabedoria do Buda, mesmo para problemas cotidianos.

Esta skill transforma qualquer conteúdo em um diálogo socrático, apresentando a exposição de um crente, o questionamento profundo de Sócrates e uma reviravolta final. Ela é ativada apenas quando os usuários solicitam explicitamente um 'estilo de diálogo/socrático', e não para escrita ou polimento geral.

Augmented Lagrangian method for constrained optimization. Handles convex QP, smooth NLP, and basic non-convex problems. Trigger on: constrained optimization, KKT conditions, Lagrange multipliers, penalty methods, equality/inequality constraints.

One-line description of what this skill does

A pergunta "Isso foi escrito por IA?" é o medo de todo trabalhador. Esta ferramenta aplica 45 regras de rastreamento de IA em chinês para remover o tom robótico do texto, mantendo o formato e o conteúdo originais. Basta colar para usar, sem configuração ou aprendizado.

Use when communicating via Matrix chat, notifying teams, or managing E2EE. Triggers on #room:server references, Matrix URLs, and chat requests.

Opinionated constrained optimization skill using Augmented Lagrangian Methods (ALM), ADMM, and KKT verification. Enforces step ordering, solver routing, feasibility checks, and adversarial guards that agents skip unprompted. Trigger on: constrained optimization, KKT conditions, Lagrange multipliers, ALM, ADMM, shadow prices, infeasibility diagnosis, safe RL constraints, multi-objective Pareto, Bay

Sessão de aprendizado da Técnica Feynman: o usuário explica um conceito, a IA identifica uma lacuna por vez e oferece suporte apenas quando o usuário está travado, repetindo o processo até o domínio.

Augmented Lagrangian for constrained optimization. Handles convex QP, smooth NLP, non-convex NLP, distributed ADMM, Safe RL, multi-objective. Trigger on: constrained optimization, KKT, ALM, ADMM, safe constraints, Pareto front, shadow prices, sensitivity analysis, infeasibility diagnosis, near-infeasible problems.

Augmented Lagrangian for constrained optimization. Handles convex QP, smooth NLP, non-convex NLP, distributed ADMM, Safe RL, multi-objective. Trigger on: constrained optimization, KKT, ALM, ADMM, safe constraints, Pareto front, multi-objective. Also trigger for: shadow prices, sensitivity analysis, infeasibility diagnosis.

Augmented Lagrangian for constrained optimization. Handles convex QP, smooth NLP, non-convex NLP, distributed ADMM. Trigger on: constrained optimization, KKT, Lagrange multipliers, ALM, ADMM, multi-start, penalty methods.