★ 2 · Updated 2026-10-19
Performs rigorous code and architecture analysis using complexity theory, graph theory, formal logic, probability, and related mathematical methods.
Browse skills that use this input.
★ 2 · Updated 2026-10-19
Performs rigorous code and architecture analysis using complexity theory, graph theory, formal logic, probability, and related mathematical methods.
★ 1 · Updated 2026-10-19
Performs rigorous code and architecture analysis using information theory, graph theory, computational complexity, linear algebra, stochastic analysis, category theory, Bayesian probability, and formal logic.
★ 0 · Updated 2026-10-19
Analyzes code and architecture using complexity theory, graph theory, formal logic, probability, and related mathematical methods.
★ 0 · Updated 2026-10-19
Analyzes code and architecture using mathematical theories including complexity, graph theory, concurrency, performance, and formal correctness.
★ 0 · Updated 2026-09-11
Expert in threat modeling methodologies, security architecture review, STRIDE, PASTA, attack trees, and security requirement extraction.