accessibility-patterns
WCAG 2.2 AA compliance, ARIA patterns, keyboard navigation, screen reader optimization
@vibeevalInstall SkillDevelopment
Skill
/propositional-logic
Problem-solving strategies for propositional logic in mathematical logic
Claude Code
$ npx -y skills add vibeeval/vibecosystem --skill propositional-logic --agent claude-code
Codex
$ npx skills add vibeeval/vibecosystem --skill propositional-logic -a codex -y
Cursor
$ npx skills add vibeeval/vibecosystem --skill propositional-logic -a cursor -y
Gemini CLI
$ npx skills add vibeeval/vibecosystem --skill propositional-logic -a gemini-cli -y
GitHub Copilot
$ npx skills add vibeeval/vibecosystem --skill propositional-logic -a github-copilot -y
OpenCode
$ npx skills add vibeeval/vibecosystem --skill propositional-logic -a opencode -y
Windsurf
$ npx skills add vibeeval/vibecosystem --skill propositional-logic -a windsurf -y
SKILL.md
propositional-logic.SKILL.mdname: propositional-logic
description: "Problem-solving strategies for propositional logic in mathematical logic"
allowed-tools: [Bash, Read]
Propositional Logic
When to Use
Use this skill when working on propositional-logic problems in mathematical logic.
Decision Tree
1. **Identify Formula Structure**
- Classify: tautology, contradiction, or contingent?
- Main connective: AND, OR, IMPLIES, NOT, IFF?
- `z3_solve.py sat "formula"` to check satisfiability
2. **Truth Table Method**
- For small formulas (<=4 variables): enumerate all valuations
- `sympy_compute.py truthtable "p & (p -> q) -> q"`
- Tautology = all T, Contradiction = all F
3. **Natural Deduction**
- Apply inference rules: Modus Ponens, Modus Tollens
- Conditional proof: assume antecedent, derive consequent
- `z3_solve.py prove "Implies(And(p, Implies(p,q)), q)"`
4. **Semantic Tableaux**
- Build tree by decomposing formula
- Closed branches = contradictions
- All branches closed = valid argument
Tool Commands
Z3_Sat
uv run python -m runtime.harness scripts/z3_solve.py sat "And(p, Implies(p, q), Not(q))"
Z3_Tautology
uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p, q)), q)"
Sympy_Truthtable
uv run python -m runtime.harness scripts/sympy_compute.py truthtable "p & (p >> q) >> q"
Z3_Modus_Ponens
uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p,q)), q)"
Cognitive Tools Reference
See `.claude/skills/math-mode/SKILL.md` for full tool documentation.
Read more
name: propositional-logic description: "Problem-solving strategies for propositional logic in mathematical logic" allowed-tools: [Bash, Read]
Propositional Logic
When to Use
Use this skill when working on propositional-logic problems in mathematical logic.
Decision Tree
1. **Identify Formula Structure**
- Classify: tautology, contradiction, or contingent?
- Main connective: AND, OR, IMPLIES, NOT, IFF?
- `z3_solve.py sat "formula"` to check satisfiability
2. **Truth Table Method**
- For small formulas (<=4 variables): enumerate all valuations
- `sympy_compute.py truthtable "p & (p -> q) -> q"`
- Tautology = all T, Contradiction = all F
3. **Natural Deduction**
- Apply inference rules: Modus Ponens, Modus Tollens
- Conditional proof: assume antecedent, derive consequent
- `z3_solve.py prove "Implies(And(p, Implies(p,q)), q)"`
4. **Semantic Tableaux**
- Build tree by decomposing formula
- Closed branches = contradictions
- All branches closed = valid argument
Tool Commands
Z3_Sat
uv run python -m runtime.harness scripts/z3_solve.py sat "And(p, Implies(p, q), Not(q))"
Z3_Tautology
uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p, q)), q)"
Sympy_Truthtable
uv run python -m runtime.harness scripts/sympy_compute.py truthtable "p & (p >> q) >> q"
Z3_Modus_Ponens
uv run python -m runtime.harness scripts/z3_solve.py prove "Implies(And(p, Implies(p,q)), q)"
Cognitive Tools Reference
See `.claude/skills/math-mode/SKILL.md` for full tool documentation.
Stats
549
Stars
45
Forks
Active
Maintenance
C#
Language
MIT
License
Last commit
Created
Ships withvibecosystem
A focused runtime for Claude Code. A bounded worker for Codex. Catalog (in repo): Default core: vibecosystem packages agents, skills and hooks for software work.
547200 skills138 agents
Stars on GitHub
Momentum
- stars in total
- 547
Other skills on vibecosystem.
@vibeevalInstall Skillaccessibility-testing
axe-core integration, WCAG 2.2 AA checklist, keyboard navigation testing, screen reader testing, and ARIA pattern validation.
@vibeevalInstall Skillachievements
Steam-style achievement system with XP, levels, streaks, and skill trees. Gamifies the development workflow. 25 achievements…
@vibeevalInstall Skillagent-benchmark
Framework for measuring and tracking agent response quality over time. Detects regressions before they reach production. Use when…
@vibeevalInstall Skillagent-linter
Agent ve skill dosyalarinin yapisal dogrulamasi. Frontmatter kontrol, naming convention, zorunlu bolum kontrolu, tutarlilik…
@vibeevalInstall SkillMore skills from other plugins.
Auto-invoked
brainstorming
You MUST use this before any creative work - creating features, building components, adding functionality, modifying behavior, or…
@obraInstall Skillask-matt
Ask which skill or flow fits your situation. A router over the skills in this repo.
@mattpocockInstall SkillAuto-invoked
Questions about propositional-logic.
- Which coding agents can use propositional-logic?
- propositional-logic installs in Claude Code, Codex, Cursor, Gemini CLI, GitHub Copilot, OpenCode and Windsurf with the skills CLI, using each agent's flag shown on this page. Flowy's auto-invocation, which fires a skill when your prompt matches, runs in Claude Code only.