# Cs Computability

> Analyze computability questions — decidability, reductions, recognizability, and undecidability proofs — with formal problem transformations.

- Skill: `quantumquirkxyz/cs-computability` (Agent Skill)
- Install (CLI): `npx skillmds@latest add quantumquirkxyz/cs-computability`
- Raw SKILL.md: https://api.skillmd.com/api/skills/quantumquirkxyz/cs-computability/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: quantumquirkxyz (https://skillmd.com/u/quantumquirkxyz)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/quantumquirkxyz/cs-computability

---


# cs-computability

- **Propósito**: Analyze computability questions — decidability, reductions, recognizability, and undecidability proofs — with formal problem transformations.
- **Contenido sugerido**: reduction patterns, proof structure, and canonical examples.
- **Estado**: defined as a practical CS specialization.