Tooluck logoTooluck
SKILL.md

cs-foundations

Agent skill fromforyourhealth111-pixel/Vibe-Skills

Master discrete mathematics, logic, formal proofs, and computational thinking. Build the mathematical foundation for all computer science.

How to install cs-foundations

install cs-foundations
# install the Vibe-Skills pack with the skills CLI
npx skills add foryourhealth111-pixel/Vibe-Skills

# or add only this skill to Claude Code: copy the folder

bundled/skills/cs-foundations/

# into

~/.claude/skills/cs-foundations/ (all projects)

.claude/skills/cs-foundations/ (one project)

bundled/skills/cs-foundations/SKILL.md

Apache-2.0Full file
1# CS Foundations Skill
2
3## Skill Metadata
4
5```yaml
6skill_config:
7 version: "1.0.0"
8 category: theoretical
9 prerequisites: []
10 estimated_time: "6-8 weeks"
11 difficulty: intermediate
12
13 parameter_validation:
14 topic:
15 type: string
16 enum: [logic, proofs, sets, functions, combinatorics, number-theory, graphs]
17 required: true
18 depth:
19 type: string
20 enum: [intro, standard, advanced]
21 default: standard
22
23 retry_config:
24 max_attempts: 3
25 backoff_strategy: exponential
26 initial_delay_ms: 500
27
28 observability:
29 log_level: INFO
30 metrics: [topic_usage, proof_verification_rate, exercise_completion]
31```
32
33---
34
35## Quick Start
36
37Computer science is built on mathematics. Master these fundamentals:
38
39### Core Topics
40
41**Discrete Mathematics**
42- Set theory and operations
43- Logic and proof techniques
44- Combinatorics and counting
45- Number theory basics
46- Relations and functions
47
48**Computational Thinking**
49- Problem decomposition
50- Abstraction and generalization
51- Pattern recognition
52- Algorithmic thinking
53
54**Formal Logic**
55- Propositional logic
56- Predicate logic
57- Proof by induction
58- Truth tables and logical equivalence
59
60---
61
62## Learning Path
63
64**Week 1: Logic Basics**
65- Boolean algebra
66- Truth tables
67- Logical operators
68- Inference rules
69
70**Week 2: Proof Techniques**
71- Direct proof
72- Proof by contradiction
73- Mathematical induction
74- Strong induction
75
76**Week 3: Set Theory**
77- Set operations (∪, ∩, complement)
78- Cartesian product
79- Relations
80…

Excerpt shown under the repository's Apache-2.0 license.

More skills in Vibe-Skills

Newsletter

Join the Community

Subscribe to our newsletter for the latest news and updates