Fotis Koutoulakis
Community@nlightnfotis · Oxford, United Kingdom
Computer Scientist and Mathematician | Distributed Systems, Compilers, Security & Reliability | Software Engineer @GitHub
Agent Skills by Fotis Koutoulakis
Showing 86 vetted skills indexed across 1 GitHub repositories.
bubble-dynamics
Evaluate technology adoption decisions by assessing hype-cycle positioning and adoption postures.
proof-tactics
Prove or refute code correctness claims using induction, contradiction, and counterexamples.
fermi-estimation
Produce order-of-magnitude estimates for system capacity, latency, throughput, storage, cost, and feasibility.
bayesian-reasoning
Update bug hypothesis beliefs using Bayesian priors, likelihoods, and posteriors.
pharmacological-dosing
Models system parameter changes as dose-response interventions for safer rollout planning.
constraint-analysis
Identify the active bottleneck in a flow system using throughput evidence.
pickling-and-preservation
Design preservation plans for software artifacts, data snapshots, and dependencies.
attention-design-review
Review human-facing system signals to reduce alert fatigue and align interruptions with importance.
code-forensics
Reconstruct software incident timelines and causal chains from logs, stack traces, commits, and test results.
affordance-review
Evaluate APIs, CLIs, and UIs for mismatches between perceived and actual actions.
topological-refactoring
Evaluate code changes for behavior preservation during refactoring.
network-topology-review
Analyze software dependency graphs to identify hubs, bottlenecks, articulation points, cycles, and blast radius.
mental-model-alignment
Identify mismatches between design model, system image, and user model.
cognitive-load-review
Evaluate code, APIs, documentation, and workflows for excessive working-memory burden.
factor-of-safety
Calculate factor of safety between working load and failure capacity for software systems.
engineering-coaching
Generate evidence-cited engineering coaching reviews from pull requests, code reviews, issues, and commits.
formal-invariants
Discover formal invariants and convert system assumptions into verifiable logical rules.
failure-mode-effects-analysis
Analyze components and workflows by scoring failure modes with FMEA.
ledger-consistency
Audit software state transitions for balancing counterparts and derived view consistency.
capital-allocation
Allocate engineering capacity across initiatives using ROI and hurdle rates.
mistake-proofing
Redesign software interfaces and workflows to prevent human and system errors.
communication-pragmatics
Analyze engineering text for pragmatic meaning and implied commitments.
mise-en-place
Stage commands, credentials, observers, and rollback materials before software operations.
user-context-fieldwork
Investigate real user workflows, constraints, and workarounds through observation-first fieldwork.