Showing 30 of 27339 results
Agent delivery surface for Theorems Harness capabilities, hooks, and MCP facade.
Theory of Computation: what is computable and what isn't (halting, Rice's theorem, and why your linter has false positives), automata and the Chomsky hierarchy as a practical design tool, regular languages and the ReDoS failure mode, parsing and grammar classes, Turing machines and reductions, complexity classes and NP-completeness recognition, what to actually do when your problem is NP-hard, SAT/SMT solvers, fine-grained complexity and conditional lower bounds, space complexity and streaming, distributed computing impossibility results (FLP, CAP, consensus), type systems and CurryβHoward, and randomness and approximation.
Accelerated speech-to-text transcription using optimized Whisper model for faster audio processing and transcription.
Usage guide for the Thermite generic SIMD library and its companion crates (special functions, autodiff Dual, Compensated double-double, SDF, geometry, FFI).
Thermodynamics and Fluid Mechanics β A Deep Dive: systems and properties, the zeroth, first and second laws, entropy, property relations, equations of state, phase behaviour, power cycles, refrigeration and heat pumps, exergy, combustion, psychrometrics, fluid properties and statics, the control volume, Bernoulli and the lift myth, Navier-Stokes, boundary layers, dimensional analysis, internal and external flow, drag, turbulence, compressible flow, turbomachinery, conduction, convection, radiation, heat exchangers and phase change, plus CFD practice.
Adversarial, highest-severity PR/diff review β correctness, security, data-loss, and concurrency issues with file:line evidence and a terse, severity-grouped verdict; runnable in CI via claude-code-action
Research feeder for vibe-thesis projects. Discovers cutting-edge thesis topics, gathers primary sources / opposing positions / methodological precedents across five research axes, and emits research notes + a Pandoc-ready BibTeX bibliography in vibe-thesis-shaped subdirectories ready to drop into ThesisStudio. Optional Smart Brevity blog adapter for BlogStudio.
Capture tasks into Things 3 on macOS via the things:/// URL scheme. ALWAYS use this skill when the user mentions Things (the Cultured Code app), Things 3, Things Inbox, or asks to add/create/capture to-dos, tasks, reminders, or todos in Things. Also use when the user invokes the /mytodo slash command, dictates a stream-of-consciousness list they want turned into tasks, or asks to push items to Things by project or area. Covers: generalizing free text into atomic to-dos, batch-adding via things:///json, scheduling (today, anytime, someday, specific date), targeting projects or areas, tags, and checklist items. Not for other to-do apps β if the user mentions Reminders, Todoist, OmniFocus, or anything non-Things, do not use this skill.
Things planning and reminder workflows with a Claude Code local MCP server.
Thinking and ideation skills: brainstorming (v2 β explicit diverge/converge with SCAMPER/analogy/constraint relaxation + kill-criteria), devil's advocate (v2), problem reframing (v2 β symptom/problem split, 5 Whys β 5 Hows, stakeholder reframe), thought organizing, microinteractions design, negotiation, first-principles thinking, and deep-thinking-workflow.
v0.1.0 β Make sense of a confusing situation: what's actually happening, whether your own thinking is off, and what to do about it. It names the bias, fallacy, persuasion or manipulation tactic, or strategic move at work from a 243-pattern library, carefully (it separates real gaslighting from an ordinary disagreement before handing you a heavy label). Five skills: identify, explain, practice, decide, spar. Talks like a counselor, not a textbook. Standalone.
Thinking tools: multi-lens analysis, critical traditions, brainstorming, self-review, roadmap prioritisation.
Sequential thinking MCP server for structured problem analysis
ArcBlock's technical thinking framework and proposal review methodology for team alignment
The thinking lens. Reasoning and quality skills that strengthen Adriaan's thinking and written executive communication: decision-toolkit (with a scenario stress-test lens), fact-checker and process-interviewer; strategy diagnosis (situation-assessment with a binding-constraint drill-down mode, assumption-audit); market and competitive analysis (market-analysis, competitive-intel); structured choice (issue-tree, hypothesis, strategic-options with trade-off analysis, pricing-strategy, business-case with the resource and investment ask, prioritization, war-gaming); written exec comms (narrative-builder with objection and Q&A prep, decision-memo); and solution-shaper, the full solution-shaping arc (scope, approach, data, build, experience, quality, insights). Written prose lives here; slide production in design-toolkit; the numbers in modelling-toolkit.
Thinking tools for AI β structured exploration, strategic debate, CISO review, discovery scaffolding, codebase mapping, specification generation, and meeting notes
Third-party risk and operational resilience skills for vendor diligence, criticality assessment, DORA registers, contract gaps, exit plans, resilience testing, and concentration risk.
Bundled Third-Party Suite - Curated external skills (Anthropic, RooCode, Community)
Estimates the water footprint of your Claude Code sessions from local token counts. Transparent, editable coefficients; the estimator makes no network calls; reads no message content.
Local code review processing for localreview.nvim. Discovers, parses, and acts on review comments left as hidden .reviews.json files.
Bundle of 8 Threads (Meta) marketing skills for Claude Code and Codex with Threads-native hook formulas, single-post and multi-post thread writing, a unified humanizer (rewrite plus `--mode audit` pre-publish check), viral hook extraction, reply and quote drafting, and a weekly content planner. Posts and threads ship via Publora, which auto-splits long content into a connected multi-post thread.
Analyze PRs for security threats with STRIDE/DFD analysis, MITRE ATT&CK and OWASP mapping for OpenShift edge topologies (TNA, TNF, SNO, LVMS)