MCP HubMCP Hub
Retour aux compétences

dialectica

majiayu000
Mis à jour 7 days ago
12 vues
58
9
58
Voir sur GitHub
Métageneral

À propos

La compétence Dialectica transforme les preuves logiques en jeux interactifs en utilisant l'interprétation Dialectica de Gödel, convertissant les énoncés en stratégies existentielles et défis universels. Elle permet aux développeurs de décomposer des propositions complexes en stratégies exécutables pour l'extraction de témoins et la propagation de défis. Utilisez cette compétence pour la manipulation de preuves, la composition de stratégies et la coordination des transformations logiques entre différents contextes de calcul.

Installation rapide

Claude Code

Recommandé
Principal
npx skills add majiayu000/claude-skill-registry -a claude-code
Commande PluginAlternatif
/plugin add https://github.com/majiayu000/claude-skill-registry
Git CloneAlternatif
git clone https://github.com/majiayu000/claude-skill-registry.git ~/.claude/skills/dialectica

Copiez et collez cette commande dans Claude Code pour installer cette compétence

Dépôt GitHub

majiayu000/claude-skill-registry
Chemin: skills/data/dialectica
0

Compétences associées

content-collections

Méta

Cette compétence propose une configuration éprouvée en production pour Content Collections, un outil axé sur TypeScript qui transforme des fichiers Markdown/MDX en collections de données typées de manière sûre avec une validation Zod. Utilisez-la lors de la création de blogs, de sites de documentation ou d'applications Vite + React riches en contenu pour garantir la sécurité de typage et la validation automatique du contenu. Elle couvre tout, de la configuration du plugin Vite et de la compilation MDX à l'optimisation des déploiements et la validation des schémas.

Voir la compétence

polymarket

Méta

Cette compétence permet aux développeurs de créer des applications avec la plateforme de marchés prédictifs Polymarket, incluant l'intégration d'API pour le trading et les données de marché. Elle fournit également une diffusion de données en temps réel via WebSocket pour surveiller les transactions en direct et l'activité du marché. Utilisez-la pour mettre en œuvre des stratégies de trading ou pour créer des outils traitant les mises à jour de marché en direct.

Voir la compétence

creating-opencode-plugins

Méta

Cette compétence aide les développeurs à créer des plugins OpenCode qui s'interconnectent avec plus de 25 types d'événements tels que les commandes, les fichiers et les opérations LSP. Elle fournit la structure du plugin, les spécifications de l'API événementielle et les modèles d'implémentation pour les modules JavaScript/TypeScript. Utilisez-la lorsque vous avez besoin d'intercepter, de surveiller ou d'étendre le cycle de vie de l'assistant IA OpenCode avec une logique personnalisée pilotée par les événements.

Voir la compétence

sglang

Méta

SGLang est un framework de service LLM haute performance spécialisé dans la génération rapide et structurée pour les workflows JSON, regex et agentiques grâce à son cache de préfixe RadixAttention. Il offre une inférence nettement plus rapide, particulièrement pour les tâches avec des préfixes répétés, ce qui le rend idéal pour les sorties complexes et structurées ainsi que les conversations multi-tours. Choisissez SGLang plutôt que des alternatives comme vLLM lorsque vous avez besoin d'un décodage contraint ou que vous construisez des applications avec un partage étendu de préfixes.

Voir la compétence