Agent Skills by Yifan
Showing 79 vetted skills indexed across 1 GitHub repositories.
yfyang86turing-minds
Match user queries to Turing Award laureates' thinking perspectives.
yfyang86edgar-f-codd-perspective
Analyze database design problems from Edgar Codd's relational perspective.
yfyang86Judea Pearl
Apply Pearl's do-calculus to compute causal effects from observational data.
yfyang86robert-e-kahn-perspective
Analyze network architecture problems using Robert E. Kahn's mental models.
yfyang86charles-w-bachman-perspective
Analyze database design problems from Charles Bachman's perspective.
yfyang86Charles P. Thacker
Explains Alto hardware design principles and their relevance to modern engineering.
yfyang86john-mccarthy-perspective
Analyze AI design problems using John McCarthy's formal, recursion-focused perspective.
yfyang86stephen-a-cook-perspective
Analyze NP-completeness and reductions using Stephen Cook's perspective.
yfyang86dana-s-scott
Design domain-theoretic semantics for functional language constructs and verification tasks.
yfyang86niklaus-wirth-perspective
Analyze problems using Niklaus Wirth's engineering-focused mindset and design principles.
yfyang86edward-a-feigenbaum-perspective
Provides AI planning and system-design guidance based on Kron's knowledge graph.
yfyang86michael-o-rabin
Generate a probabilistic primality test using Rabin's randomness with standard Python libraries.
yfyang86andrew-g-barto-perspective
Analyze reinforcement learning problems using Andrew Barto's perspective and heuristics.
yfyang86charles-h-bennett-perspective
Analyze quantum computing and cryptography topics using Charles H. Bennett's perspective.
yfyang86e-allen-emerson-perspective
Provide Emerson-style formal verification guidance for CTL model checking of concurrent systems.
yfyang86peter-naur-perspective
Guide language design using Peter Naur's principles and formal syntax.
yfyang86maurice-v-wilkes-perspective
Analyze system design challenges using Maurice Wilkes' engineering perspective.
yfyang86John L. Hennessy
Analyzes computer architecture design challenges using John L. Hennessy's quantitative methodology.
yfyang86geoffrey-hinton-perspective
Analyze problems using Geoffrey Hinton's brain-inspired and contrarian thinking perspectives.
yfyang86Martin Hellman
Summarize Martin Hellman's cryptography and risk analysis contributions with a profile, timeline, and references.
yfyang86richard-e-stearns-perspective
Analyzes computational and management problems using Richard E. Stearns' perspective.
yfyang86john-backus-perspective
Analyze programming problems from a John Backus perspective for language-design insights.
yfyang86joseph-sifakis-perspective
Analyzes problems using Joseph Sifakis' formal-methods and correctness-by-construction perspective for embedded systems verification.
yfyang86yann-le-cun
Design convolutional neural network architectures using Yann LeCun's cognitive framework.