Back to Skills

propositional-logic

scooter-lacroix
Updated 3 days ago
5 views
0
View on GitHub
Othergeneral

About

This skill provides strategies and tools for solving propositional logic problems, such as determining tautologies or satisfiability. It offers methods like truth table analysis, natural deduction, and Z3/Sympy integrations for verification. Developers should use it when implementing or checking formal logic within their code.

Quick Install

Claude Code

Recommended
Primary
npx skills add scooter-lacroix/Maestro -a claude-code
Plugin CommandAlternative
/plugin add https://github.com/scooter-lacroix/Maestro
Git CloneAlternative
git clone https://github.com/scooter-lacroix/Maestro.git ~/.claude/skills/propositional-logic

Copy and paste this command in Claude Code to install this skill

GitHub Repository

scooter-lacroix/Maestro
Path: maestro/skills/math/math/mathematical-logic/propositional-logic
0
agent-orchestrationai-agentsai-agents-automationai-agents-frameworkcode-analysiscode-intelligence

Related Skills

llamaguard

Other

LlamaGuard is Meta's 7-8B parameter model for moderating LLM inputs and outputs across six safety categories like violence and hate speech. It offers 94-95% accuracy and can be deployed using vLLM, Hugging Face, or Amazon SageMaker. Use this skill to easily integrate content filtering and safety guardrails into your AI applications.

View skill

cost-optimization

Other

This Claude Skill helps developers optimize cloud costs through resource rightsizing, tagging strategies, and spending analysis. It provides a framework for reducing cloud expenses and implementing cost governance across AWS, Azure, and GCP. Use it when you need to analyze infrastructure costs, right-size resources, or meet budget constraints.

View skill

quantizing-models-bitsandbytes

Other

This skill quantizes LLMs to 8-bit or 4-bit precision using bitsandbytes, achieving 50-75% memory reduction with minimal accuracy loss. It's ideal for running larger models on limited GPU memory or accelerating inference, supporting formats like INT8, NF4, and FP4. The skill integrates with HuggingFace Transformers and enables QLoRA training and 8-bit optimizers.

View skill

dispatching-parallel-agents

Other

This Claude Skill dispatches multiple agents to investigate and fix 3+ independent problems concurrently. It is designed for scenarios involving unrelated failures that can be resolved without shared state or dependencies. The core capability is parallel problem-solving, assigning one agent per independent problem domain to maximize efficiency.

View skill