Tools & Automation

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

skills in category: 45,575
pages available: 1,899

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 577–600 of 45,575 skills

Ai Wiley Wooldridge An Introduction To Multi Agent SystemsAFrame multi-agent designs through explicit environment, autonomy, information, coordination, commitment, incentive, and verification assumptions. NOT for endorsing multi-agent architecture without need or claiming runtime correctness from conceptual methods.toolsgoreactVotes: 0GitHub stars: 2
Agent Interchange FormatsAData structures and serialization formats for agent-to-agent communication. Covers message envelopes, structured output schemas, capability declarations, task handoff payloads, error/retry signaling, and context windows as data structures. Compares the version-pinned A2A, MCP, and JSON-RPC role boundaries covered by this bundle; OpenAI and LangChain-specific APIs require their own current sources. Teaches when to use rigid schemas versus free-form content with validation, typed versus untyped...toolstypescriptrustVotes: 0GitHub stars: 2
Wang 2023 VoyagerAUse Voyager's Minecraft case study to design bounded, observable executable-skill learning loops.toolsgoapiVotes: 0GitHub stars: 2
Van Der Aalst 2003 Workflow PatternsAApply a historical taxonomy of workflow control patterns to evaluate and debug control-flow semantics. NOT for proving resource, transaction, exception, or cancellation guarantees without separate evidence.toolsgoexpressVotes: 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
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
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 Euler-stable Laplacian diffusion and decay exponentially, creating a self-organizing lossy attention field. It can help agents inspect a graph neighborhood; it does not replace reliable messages, assignment, delivery, or completion evidence. NOT for r...toolspythongoVotes: 0GitHub stars: 2
State Of Cognitive Systems EngineeringAAnalyze human-automation work as situated activity, then test recovery and observability on representative scenarios.toolsgoVotes: 0GitHub stars: 2
Solely Responsible AgentADesign one accountable coordinator for a bounded concern, with durable handover and independently controlled effects.toolsgobashVotes: 0GitHub stars: 2
Smith 1980 Contract Net ProtocolAUses Smith's 1980 Contract Net Protocol for local task announcement, bid, award, and result coordination. NOT FIPA Contract Net, reliable transport, or automatic authority to execute.toolsgoVotes: 0GitHub stars: 2
Skillful Subagent CreatorADesign bounded delegated workers by specifying outputs, inputs, tools, effects, stop rules, evidence, and handoffs. NOT a claim that prompts enforce permissions or that fixed skill counts, sections, or question quotas are optimal.toolstypescriptgoVotes: 0GitHub stars: 2
Semantic Conflict PredictionAAST-based semantic conflict prediction for multi-agent coding environments. Uses tree-sitter to parse code into ASTs, extract symbol-level claims, build dependency graphs, and predict conflicts BEFORE they happen -- at work-assignment time, not merge time. The key insight: git's textual merge is necessary but not sufficient. Two changes can merge cleanly and break the program. This skill covers tree-sitter fundamentals, symbol-level claims, dependency graph construction, conflict prediction a...toolsjavascripttypescriptVotes: 0GitHub stars: 2
Sandboxed Adversarial Test HarnessADesigns and audits Drydock-style hostile-execution laboratories for untrusted, AI-authored, or pull-request-controlled code, including VM isolation, brokered I/O, provider spend custody, deterministic simulation, sealed provenance, external receipts, trusted-language/process selection, durable agent lifecycle accounting, crash-storm breakers, fail-cheap controls, and promotion gates. Use before a daemon, agent, test suite, build, or skill may touch real machines, networks, credentials, provid...toolstypescriptrustVotes: 0GitHub stars: 2
Pre Federation Halt GateAPre-decomposition review of task definition, constraints, authority, and feasibility. Uses typed hard blockers and decision-relevant clarification; any scalar score or cutoff is an implementation-specific policy that requires its own calibration and error-cost rationale. Avoids presenting Polya's problem-analysis framework as a source for numeric weights or thresholds. The gate is named "pre-federation" because it fires before agents federate around a shared decomposition — once subtasks exis...toolsrustapiVotes: 0GitHub stars: 2
Fipa 00025 Interaction Protocol LibraryASpecifies role-based interaction protocols with explicit conversation state and local transport/failure overlays. NOT a conformance, reliability, or authorization guarantee.toolsgotestingVotes: 0GitHub stars: 2
Fipa 00023 Agent ManagementASeparates agent identity, addresses, lifecycle, and directory discovery using FIPA agent-management concepts. NOT a transport, reachability, or authorization guarantee.toolsgoapiVotes: 0GitHub stars: 2
Dag Cycle AnalysisAApply the Vasiliauskaite, Evans and Expert cycle-basis/orientation method to a valid DAG with explicit ordering metadata. Use for graph-structural descriptors; not SCC-only diagnosis, scheduling, or resilience proof.toolsgonodeVotes: 0GitHub stars: 2
Charrier Et Al Big Brother LogicAModel surveillance knowledge only with explicit camera geometry, observation, action, and epistemic assumptions.toolsgoVotes: 0GitHub stars: 2
Alphago Deep RlAApply AlphaGo-style patterns: learned priors plus search, mixed evaluators, self-play, and asynchronous fast/slow loops. Use for intractable search and compute allocation. NOT for basic supervised learning, tractable optimization, or domains without search bottlenecks.toolsgoperformanceVotes: 0GitHub stars: 2
Agha Actor ModelADesigns message-driven actor interactions with explicit delivery, recovery, and capability assumptions. NOT a transport reliability or authorization guarantee.toolsgoVotes: 0GitHub stars: 2
Agentspeak L Bdi Agents Speak Out In A Logical ComputableADesign AgentSpeak(L)-style BDI agents with context-guarded plans, selection functions, and intention stacks. Use for interruptible autonomy, agent policy, and multi-agent orchestration in dynamic environments. NOT for simple rule engines, static planners, or centralized workflows.toolsgoreactVotes: 0GitHub stars: 2
Agent Conversation ProtocolsADesigns and audits closed, ordered, replay-safe message protocols between already admitted agent bodies. Use when a multi-agent exchange needs explicit epochs, audiences, per-sender sequencing, gathers, terminal fences, acknowledgements, and deterministic replay. NOT for selecting or spawning agents, granting identity or authority, choosing a runtime topology, general human facilitation, wire transport implementation, or deciding whether evidence is true.toolsrustgoVotes: 0GitHub stars: 2
Agent Context PartitionerADesigns and audits deterministic, authority-filtered partitions of trust-typed context for already admitted bodies or abstract continuation slots. Use when causal context, obligations, disclosure boundaries, vector-space identity, capacity, and omission proofs must survive partitioning. NOT for spawning or admitting agents, choosing worker count, retrieving arbitrary knowledge, writing successor prompts, or granting tools, leases, identity, or effect authority.toolsrustgoVotes: 0GitHub stars: 2
Angular Versioning Angular Node Typescript Rxjs MatrixAGate Angular changes with the required Node.js, TypeScript, and RxJS compatibility matrix for the current target version.toolstypescriptangularVotes: 0GitHub stars: 4