name: cs-foundations
description: Master discrete mathematics, logic, formal proofs, and computational thinking. Build the mathematical foundation for all computer science.
sasmp_version: "1.3.0"
bonded_agent: 01-cs-foundations-expert
bond_type: PRIMARY_BOND
CS Foundations Skill
Skill Metadata
skill_config:
version: "1.0.0"
category: theoretical
prerequisites: []
estimated_time: "6-8 weeks"
difficulty: intermediate
parameter_validation:
topic:
type: string
enum: [logic, proofs, sets, functions, combinatorics, number-theory, graphs]
required: true
depth:
type: string
enum: [intro, standard, advanced]
default: standard
retry_config:
max_attempts: 3
backoff_strategy: exponential
initial_delay_ms: 500
observability:
log_level: INFO
metrics: [topic_usage, proof_verification_rate, exercise_completion]