MCP HubMCP Hub
SKILL·FC66FE

propositional-logic

parcadei
Mis à jour 2 months ago
55 vues
3,101
217
3,101
Voir sur GitHub
Autregeneral

À propos

Cette compétence propose des stratégies pour résoudre des problèmes de logique propositionnelle, incluant l'identification des structures de formules et l'application de méthodes comme les tables de vérité, la déduction naturelle et les tableaux sémantiques. Elle offre des commandes spécifiques pour des outils comme Z3 et SymPy afin de vérifier la satisfiabilité, prouver des énoncés et calculer des tables de vérité. Utilisez-la pour traiter des problèmes de logique mathématique impliquant des tautologies, des contradictions et des preuves logiques.

Installation rapide

Claude Code

Recommandé
Principal
npx skills add parcadei/Continuous-Claude-v3 -a claude-code
Commande PluginAlternatif
/plugin add https://github.com/parcadei/Continuous-Claude-v3
Git CloneAlternatif
git clone https://github.com/parcadei/Continuous-Claude-v3.git ~/.claude/skills/propositional-logic

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

Dépôt GitHub

parcadei/Continuous-Claude-v3
Chemin: .claude/skills/math/mathematical-logic/propositional-logic
0
agentsclaude-codeclaude-code-cliclaude-code-hooksclaude-code-mcpclaude-code-skills
FAQ

Frequently asked questions

What is the propositional-logic skill?

propositional-logic is a Claude Skill by parcadei. Skills package instructions and resources that Claude loads on demand, so Claude can perform propositional-logic-related tasks without extra prompting.

How do I install propositional-logic?

Use the install commands on this page: add propositional-logic to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.

What category does propositional-logic belong to?

propositional-logic is in the Other category, tagged general.

Is propositional-logic free to use?

Yes. propositional-logic is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.

Compétences associées

llamaguard
Autre

LlamaGuard est le modèle de Meta, doté de 7 à 8 milliards de paramètres, conçu pour modérer les entrées et sorties des LLM selon six catégories de sécurité comme la violence et les discours haineux. Il offre une précision de 94 à 95 % et peut être déployé avec vLLM, Hugging Face ou Amazon SageMaker. Utilisez cette compétence pour intégrer facilement le filtrage de contenu et des garde-fous de sécurité dans vos applications d'IA.

Voir la compétence
cost-optimization
Autre

Cette compétence de Claude aide les développeurs à optimiser les coûts du cloud grâce au redimensionnement des ressources, aux stratégies d'étiquetage et à l'analyse des dépenses. Elle fournit un cadre pour réduire les dépenses cloud et mettre en œuvre une gouvernance des coûts sur AWS, Azure et GCP. Utilisez-la lorsque vous devez analyser les coûts d'infrastructure, redimensionner les ressources ou respecter des contraintes budgétaires.

Voir la compétence
sports-betting-analyzer
Autre

Cette compétence Claude analyse les marchés des paris sportifs, incluant les spreads, les over/under et les paris spéciaux, en examinant les tendances historiques et les statistiques situationnelles pour identifier les paris à valeur ajoutée. Elle fournit une sortie en markdown structuré avec des recommandations actionnables à des fins éducatives. Les développeurs doivent l'utiliser pour des outils d'analyse de paris sportifs tout en notant qu'elle est conçue uniquement pour le divertissement et l'éducation.

Voir la compétence
quantizing-models-bitsandbytes
Autre

Cette compétence quantifie les LLMs en précision 8 bits ou 4 bits à l'aide de bitsandbytes, permettant une réduction de 50 à 75 % de la mémoire utilisée avec une perte de précision minime. Elle est idéale pour exécuter des modèles plus volumineux sur une mémoire GPU limitée ou pour accélérer l'inférence, prenant en charge des formats comme INT8, NF4 et FP4. La compétence s'intègre à HuggingFace Transformers et permet l'entraînement QLoRA ainsi que l'utilisation d'optimiseurs en 8 bits.

Voir la compétence