Tools & Automation

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

skills in category: 46,779
pages available: 1,950

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 1,849–1,872 of 46,779 skills

Dag Graph BuilderAParses complex problems into candidate DAG (Directed Acyclic Graph) execution structures. Decomposes tasks into nodes with dependencies and identifies candidate parallelization opportunities. Activate on 'build dag', 'create workflow graph', 'decompose task', 'execution graph', 'task graph'. NOT for simple linear tasks or when an existing DAG structure is provided.toolsgonodeVotes: 0GitHub stars: 2
Dag Feedback SynthesizerASynthesizes evidence-linked feedback from validation results, confidence evidence, and iteration triggers. Proposes bounded revision guidance for a stated acceptance failure. Activate on 'synthesize feedback', 'improvement suggestions', 'actionable feedback', 'iteration guidance', 'feedback generation'. NOT for iteration detection (use dag-iteration-detector) or convergence tracking (use dag-convergence-monitor).toolsgoapiVotes: 0GitHub stars: 2
Dag Failure AnalyzerAInvestigates DAG incidents with a precise top event, timeline, competing hypotheses, barriers, propagation, and bounded recovery. NOT for automated root-cause classification, trace collection, or performance profiling.toolsgoperformanceVotes: 0GitHub stars: 2
Dag Dependency ResolverAValidates typed DAG dependency declarations, returns Kahn linear extensions or generations and residual cycle witnesses, and identifies changed consumers for revalidation. NOT for constructing graphs, scheduling resource capacity, granting effects, or executing nodes.toolsgonodeVotes: 0GitHub stars: 2
Dag Convergence MonitorAMonitors a specified object against explicit stopping criteria and distinguishestoolsgonodeVotes: 0GitHub stars: 2
Dag Context BridgerABuilds scoped, provenance-preserving context packets between DAG nodes.toolsgonodeVotes: 0GitHub stars: 2
Dag Capability RankerARanks eligible skill candidates with explicit retrieval evidence, capabilitytoolstypescriptperformanceVotes: 0GitHub stars: 2
Bdi Organizational ModelingAModel an organization with BDI-inspired perceptions, expressed goals, accommodations, and levels of agency. Use for socio-technical diagnosis where actors interpret the same situation differently and agreement is partial. NOT for individual AgentSpeak execution, normative conflict algorithms, or ordinary workflow diagrams.toolsgoexpressVotes: 0GitHub stars: 2
Bdi Normative ReasoningADesign an agent's handling of obligations, prohibitions, permissions, and conflicts among norms and goals. Use when an autonomous agent must decide which norms apply and what to do when they conflict. NOT for simple fixed policy checks, ordinary BDI commitment design, or organizational metaphor.toolsgoVotes: 0GitHub stars: 2
Bdi Models And Systems Reducing The GapAImplement executable BDI reasoning with explicit negation, paraconsistent revision, trigger-based commitment updates, and abduction. Use for runtime agent semantics and conflicting desires. NOT for purely axiomatic modal logic, black-box planners, or classical logic without operational semantics.toolsgoVotes: 0GitHub stars: 2
Bdi Models And Systems Reducing The Gap PaperADesign executable BDI reasoning using scoped explicit negation, Event Calculus, abductive feasibility checks, and preference-governed revision. The cited paper assumes initially consistent beliefs and leaves belief update out of scope; observation update is a local extension. NOT for purely axiomatic modal logic, black-box planners, or classical logic without operational semantics.toolspythongoVotes: 0GitHub stars: 2
Agentspeak L Bdi ArchitectureADesign 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.toolspythongoVotes: 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
Bdi Agent InterpretersAImplement an executable BDI agent cycle with events, context-guarded plans, intention stacks, selection functions, and belief revision. Use when designing or debugging AgentSpeak-style runtimes or concrete BDI program semantics. NOT for high-level BDI adoption, organizational modeling, norms, or hypertree team planning.toolsgodebuggingVotes: 0GitHub stars: 2
Bdi Agency ModelABDI (Beliefs-Desires-Intentions) agency framework for designing autonomous agents with mental state architecturestoolsgodebuggingVotes: 0GitHub stars: 2
Bdi Agent ArchitectureADesign an individual agent's belief, goal, intention, and reconsideration model. Use when specifying autonomous decision state, commitment policy, or recovery from failed plans. NOT for AgentSpeak interpreter mechanics, organization modeling, normative conflicts, or multi-agent execution waves.toolsgosecurityVotes: 0GitHub stars: 2
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