Agent Skills by the-thinker
Showing 16 vetted skills indexed across 1 GitHub repositories.
abstraction
Extract abstract structural patterns from complex problems using multiple mathematical lenses.
meta-selector
Analyze ambiguous problem features to recommend 1–3 thinking tools with primary status and mode.
algorithmic-thinking
Decompose problems into subproblems and select algorithmic paradigms with complexity analysis.
topological-thinking
Identify persistent topological features like connected components and holes in data.
logic-deduction
Review premises, inference steps, and argument structure for logical soundness.
optimization
Formalize decision problems as optimization tasks with objectives and constraints.
transformation
Diagnose problem difficulty, apply a transformation, solve, and invert back.
information-theory
Quantify uncertainty with entropy and mutual information measures.
modeling
Formalize real-world problems into mathematical or logical models.
probability-statistics
Quantify uncertainty in data-driven decisions using probability theory.
discrete-combinatorial
Count configurations and discover recurrences in finite discrete structures.
symmetry-invariance
Analyze problems by revealing invariants and orbit structures under symmetry actions.
game-theory
Identify players, strategies, and payoffs to compute Nash equilibria.
induction-analogy
Generate testable hypotheses from limited observations using induction and analogy.
axiomatization
Formalize foundational assumptions into axioms and audit consistency, independence, and completeness.
causal-inference
Compute causal effects from observational data using do-calculus and DAGs.