Tools & Automation

CLI tools, utilities, converters, workflow automation, and productivity helpers

skills in category: 47,638
pages available: 1,985

Security grades appear on each card once the skill has been scanned. Newly imported skills may briefly show without a grade until the backfill job runs.

Open in full browser

Browse tools & automation skills

Showing 5,761–5,784 of 47,638 skills

Trust Typed Context CompilerACompiles provenance-bound, authority-filtered Context IR for continuation or body translation, including obligations, omissions, redactions, retrieval-space identity, and directive eligibility. Use before preparing a successor or cross-backend handoff. NOT for admitting a body, fencing a predecessor, granting tools, treating memory as authority, retrieving across incompatible vector spaces, or copying raw secrets.toolsrustgoVotes: 0GitHub stars: 2
Trial Basin Deterministic Systems EvaluationADesigns and audits deterministic evaluation envelopes for agent-control systems using sealed schedules, typed faults, independent raw evidence, oracle mutation, semantic replay, counterexample minimization, and result vectors. Use for simulation, model, replay, shadow, or canary claims. NOT for launching a runtime, authorizing a canary, certifying containment from a model, self-witnessing success, or treating static usability fixtures as live accessibility proof.toolsgobashVotes: 0GitHub stars: 2
Towards A Taxonomy Of Cognitive Task AnaAUse for cognitive task analysis, CTA method selection, knowledge capture, tacit expertise routing, and representation design by matching elicitation methods to knowledge type. NOT for generic ontology naming, benchmark-only model evaluation, or ML architecture tuning.toolsgoperformanceVotes: 0GitHub stars: 2
Toulmin Argument AnalysisAStructure and analyze arguments using the Toulmin model (Claim-Data-Warrant-Backing-Qualifier-Rebuttal). Use when the user wants to build logical arguments, evaluate reasoning, prepare formal debate, clarify messy reasoning, write persuasive pieces, or mentions 'argument structure', 'warrant', 'backing', 'logical framework', 'structure this argument'. Useful as input for speech-writing, fallacy detection, and steelmanning.toolsgorailsVotes: 0GitHub stars: 2
Tlaplus PractitionerAYou MUST use this skill when writing, running, or verifying TLA+ specifications for distributed systems, coordination protocols, or state machine designs. This skill is opinionated and prescriptive — it will push you toward bounded model checking with TLC, concrete worked examples, and measurable quality gates. NOT FOR: general formal methods theory, Coq/Lean/Isabelle proof assistants, SPIN/Promela model checking, or theorem proving without explicit state machines.toolsgojavaVotes: 0GitHub stars: 2
Tikz Figure EngineeringADiagnose the information structure behind a claim, choose a truthful publication-grade visual grammar, and author, render, and audit compact TikZ/PGFPlots figures. Use for LaTeX whitepaper figures, technical diagrams, quantitative plots, protocol explanations, and figure redesigns when semantic fit, layout, or legibility is uncertain. NOT for decorative cover art, image generation, data extraction, or generic slide diagrams.toolspythonrustVotes: 0GitHub stars: 2
Skills DirectorySkills Directory 3 slots · $399/mo · one ad per page · sponsors can never buy grades.See placements
Three Sided Agent Labor MarketADesign and review an explicitly modelled multi-party agent-labor market, including participation groups, cross-group effects, information and control boundaries, and settlement outcomes. NOT for payment plumbing, a pricing theorem, or an unverified escrow operation.toolsgoVotes: 0GitHub stars: 2
Thinking Inside The Box The Shadowbox MeAlicense: Apache-2.0 NOT for unrelated tasks outside this domain.toolsrustgoVotes: 0GitHub stars: 2
Thinking Inside The Box Shadowbox MethodAlicense: Apache-2.0 NOT for unrelated tasks outside this domain.toolsrustgoVotes: 0GitHub stars: 2
The State Of Cognitive Systems EngineeriAlicense: Apache-2.0 NOT for unrelated tasks outside this domain.toolsgoawsVotes: 0GitHub stars: 2
The Role Of Cognitive Systems EngineerinAlicense: Apache-2.0 NOT for unrelated tasks outside this domain.toolsgonodeVotes: 0GitHub stars: 2
The Impact Of Rapport On Intelligence YiAUse for rapport, elicitation, transcript audit, interview design, and disclosure-yield analysis by auditing attention, coordination, and typed yield instead of vague warmth or self-report. NOT for coercive extraction, generic tone polishing, or persuasion tasks that do not depend on genuine disclosure.toolsrustgoVotes: 0GitHub stars: 2
The Cambridge Handbook Of Expertise AndAlicense: Apache-2.0 NOT for unrelated tasks outside this domain.toolsgoexpressVotes: 0GitHub stars: 2
The Belief Desire Intention Model Of AgeAlicense: Apache-2.0 NOT for unrelated tasks outside this domain.toolsgodebuggingVotes: 0GitHub stars: 2
Textbook CraftAHow the best math/CS textbooks (Halmos, Axler, SICP, Knuth, Feynman, Sipser, CLRS, MacKay, Pólya, Lakatos, Hersh) open a chapter, place worked examples and exercises, and state honest boundaries — applied to the Harbor Book's chapters. Use when drafting or reviewing a chapter opener, deciding where an exercise or worked example belongs, auditing a chapter's page grammar or claim-labeling, or running scripts/chapter_lint.py against a .tex chapter. NOT for the seven-moves result-writeup style (...toolspythonrustVotes: 0GitHub stars: 2
Technical Evangelism For Formal SystemsATurn formally verified infrastructure into developer adoption with talks, blog posts, onboarding docs, venue strategy, and community building for TLA+, model checking, mechanism design, and collateralized contracts. Use when audience, depth, medium, and call-to-action must match technical adoption goals. NOT for academic paper writing, non-technical marketing, social media management, or PR.toolsjavascriptrustVotes: 0GitHub stars: 2
Task Analysis Of Pier Side Ship HandlingAReconstruct and review Grassi's bounded simulator task-analysis procedure: GOMS-like goals/methods/selection rules, critical cue inventories, and five-participant CDM review. NOT for live ship handling, operational navigation, or general claims about expert cognition.toolsgoVotes: 0GitHub stars: 2
Taleb Blyth 2011 Black Swan Of CairoAAnalysis of how suppressing volatility creates fragile systems vulnerable to black swan eventstoolsgospringVotes: 0GitHub stars: 2
Tacit Expertise ElicitationATechniques for surfacing implicit, hard-to-articulate knowledge that experts use in practicetoolsrustgoVotes: 0GitHub stars: 2
Swarm Invocation DesignerADesigns and audits controller-owned multi-agent invocation contracts: capacity reservation, single-use leases, generation fences, idempotent dispatch, typed gathers, deterministic reduction, bounded rework, cancellation, settlement, and effect-denied replay. Use when projecting an approved execution plan onto bounded concurrent work. NOT for task decomposition, choosing a planning topology, context partitioning, IPC or framework selection, dialogue design, live agent operation, or granting ru...toolsgobashVotes: 0GitHub stars: 2
Supply Chain Defense For Ml ExtensionsDDefend long-running ML/AI daemons against supply-chain attacks delivered via third-party extension ecosystems — ComfyUI custom nodes, VS Code extensions, npm postinstall, Hugging Face Spaces, Ray clusters, Triton/Cog plugins, browser extensions. Activate on: supply chain attack, malicious package, custom node security, dependency confusion, package backdoor, cryptominer in dependency, Akira / Pickai / leftpad / event-stream / ua-parser-js, Sigstore signing, lockfile pinning, capability sandbo...toolspythonrustVotes: 0GitHub stars: 2
Structured Logging DesignAUse when designing log schemas, choosing JSON vs text logs, setting up correlation IDs across services, redacting PII, controlling log volume costs, or wiring logs into OpenTelemetry. Triggers: "logs are unsearchable", trace_id missing from logs, PII leak in production logs, log volume bill spike, log levels misused, structured fields vs string interpolation, parent_span_id propagation, sampled vs always-log decisions, log routing (vendor + cold storage). NOT for log aggregation tooling speci...toolspythongoVotes: 0GitHub stars: 2
Stigmergic Diffusion MediumAA graph-based shared blackboard where agents coordinate indirectly by depositing typed pheromone traces (PHEROMONE, BELIEF, PREFERENCE, ANTIBODY, RESOLUTION) onto graph nodes, then sensing and following concentration gradients. Traces spread via a stated scalar graph update and decay, creating a lossy attention field. It can prioritize inspection; it does not replace reliable messaging, assignment, delivery, coverage, or completion evidence. NOT for treating a decayed attention trace as durab...toolspythongoVotes: 0GitHub stars: 2
Steel Man ArgumentAReconstructs the strongest version of a position that remains attributable to its holder or canonical sources, then binds every premise to provenance, uncertainty, counterevidence, and a falsifier before critique. Use for fair reciprocal review, disagreement mapping, or decision preparation. NOT for persuasive optimization of abuse, discrimination, atrocity, scams, coercion, deceptive influence, mind-reading an absent person, crisis support, clinical interpretation, or treating a reconstructi...toolsrustgoVotes: 0GitHub stars: 2