Menu
Skills dans ce dépôt
SkillsMP a collecté 259 skills depuis curiositech/port-daddy. Ouvrez un skill pour examiner sa source et ses détails.
curiositech/port-daddyAffichage de 40 skills collectés sur 259.
Facilitate collaborative, emotionally aware conversations and guide toward productive dialogue. Use when the user wants de-escalation, mutual understanding, structured discussion, conflict resolution, or mentions 'productive discussion', 'collaborative…
Langue du texte source : anglais
Guide critical thinking through disciplined Socratic questioning. Use when the user wants to explore assumptions, examine beliefs, resolve internal conflict, facilitate learning, clarify thinking, or mentions 'Socratic method', 'question assumptions',…
Langue du texte source : anglais
Construct the strongest, fairest version of someone's position before engaging with it. Use when the user wants to understand opposing viewpoints, prepare for debate, ensure fair representation, or mentions 'steel man', 'strongest argument', 'best case for',…
Langue du texte source : anglais
Structure 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…
Langue du texte source : anglais
Apply AgentSpeak(L) BDI architecture to event-driven autonomous agents with persistent goals, context-sensitive plans, and explicit selection functions. Use when designing interrupts, scheduling policies, or multi-agent coordination without a central…
Langue du texte source : anglais
Foundational concurrent computation model where actors communicate exclusively through asynchronous message passing
Langue du texte source : anglais
BDI (Beliefs-Desires-Intentions) agency framework for designing autonomous agents with mental state architectures
Langue du texte source : anglais
Design patterns for BDI agents using the MORA methodology for practical multi-agent system development
Langue du texte source : anglais
Implement 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…
Langue du texte source : anglais
Integration of BDI agent architecture with soft systems methodology for complex organizational problem-solving
Langue du texte source : anglais
JADE platform for building FIPA-compliant multi-agent systems with standardized agent communication
Langue du texte source : anglais
Jason multi-agent platform implementing AgentSpeak(L) for practical BDI agent programming and deployment
Langue du texte source : anglais
Use for bounded reasoning, partial planning, commitment policy, deliberation cost, and reconsideration-threshold design instead of assuming free deliberation. NOT for exhaustive planning, static optimization, or domains where reconsideration cost is…
Langue du texte source : anglais
Choose, compare, and decompose work into the right coordination topology: dag, workflow, manager-driven team, swarm, blackboard, team-builder, or recurring loop. Use when the coordination shape is unclear, when you need topology-native breakdown instructions…
Langue du texte source : anglais
Analyze bonded agent systems, escrow workflows, slashing rules, oracle trust, Sybil cost, and front-running risk in protocols where agents post bonds or stake reputation. Use for collateral sizing, griefing analysis, dispute design, and bonded-agent security…
Langue du texte source : anglais
Generalized Partial Global Planning with TAEMS task structures for multi-agent coordination
Langue du texte source : anglais
Meta-skill that orchestrates the discourse skill suite: routes between steel-man-argument, socratic-questioning, toulmin-argument-analysis, logical-fallacy-detector, bad-faith-rhetoric-detector, discourse-elision-analyzer, forensic-speech-structure, and…
Langue du texte source : anglais
Decision-theoretic framework for agents embedded within the environments they model and act upon
Langue du texte source : anglais
Foundational impossibility result proving consensus cannot be guaranteed in asynchronous systems with even one faulty process
Langue du texte source : anglais
Plan and run manager-led, role-based teams where assignments change by round, roles may be added midstream, and the manager decides when the work is ready to ship. Use when delegation should adapt to emerging evidence rather than a fixed review loop. NOT for…
Langue du texte source : anglais
A framework for building rational agents that can recognize, evaluate, and selectively adopt norms while resolving conflicts through consequence-based reasoning. Enables agents to make principled decisions when rules, obligations, and goals are mutually…
Langue du texte source : anglais
Simulation of believable human behavior using LLM-powered generative agents with memory and social interaction
Langue du texte source : anglais
Applies political philosophy frameworks (Hobbes, Locke, Rousseau, Rawls, Sen, Ostrom) to software architecture decisions -- authority models, resource allocation, capability assignment, and commons governance. NOT FOR general philosophy courses, ethics of AI…
Langue du texte source : anglais
A runtime reference monitor that intercepts every proposed agent action, evaluates it against a policy DAG compiled from natural-language axioms, and returns a verified permit or deny verdict before execution proceeds. Policy axioms are authored in natural…
Langue du texte source : anglais
Formal framework for modeling intelligent agents through Beliefs, Desires/Goals, and Intentions as distinct mental states with rigorous semantics
Langue du texte source : anglais
Foundational framework for modeling intelligent agents through Beliefs, Desires, and Intentions with practical implementation strategies under resource constraints
Langue du texte source : anglais
Design agents that make timely, good-enough decisions under time pressure, limited computation, and changing environments using commitments, partial plans, and filter-override control. Use when balancing deliberation against action, choosing commitment depth,…
Langue du texte source : anglais
Diagnose multi-agent coordination failures using sheaf cohomology as a structural telemetry primitive. When agents cannot reach consensus despite diffusion, the cause is often topological: restriction maps on one or more edges are mutually inconsistent,…
Langue du texte source : anglais
Shoham & Leyton-Brown's Multiagent Systems (2009) — algorithmic, game-theoretic, and logical foundations: mechanism design, VCG, auctions, voting, Nash equilibrium computation, distributed constraint optimization, and coordination among strategic agents. Use…
Langue du texte source : anglais
Distributed task allocation protocol where agents negotiate task assignments through contract bidding
Langue du texte source : anglais
A 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…
Langue du texte source : anglais
Comprehensive introduction to multi-agent systems covering coordination, communication, and distributed AI theory
Langue du texte source : anglais
Metal/wgpu/WGSL shader surfaces for native Rust gpui apps (Zed-family, pd-console), stockpiled with beautiful copy-pasteable shader-toy examples. Use for custom GPU fragment passes behind/around gpui panes: ocean/water shaders, pixelated waves and boats, a…
Langue du texte source : anglais
Design motion, transitions, and bespoke graphics for native Rust gpui apps — the framework behind Zed and the pd-console operator console. Use for with_animation, easing curves, BoxShadow/glow, breathing dots, pane expand/zoom/slide transitions, and custom…
Langue du texte source : anglais
Diagnose and eliminate the GraphQL N+1 resolver explosion using Facebook DataLoader's per-request batching, plus the second-order defenses (persisted queries, depth limits, cost analysis). Use when a GraphQL query that returns N items in a list triggers N+1…
Langue du texte source : anglais
Expert on the International Code of Signals (ICOS, Pub. 102, 1969/2003) — encode, decode, and explain maritime signals by any method (flag hoists, flashing light, sound, radiotelephony): single-letter urgent signals, the two-letter General Signal Code, the…
Langue du texte source : anglais
Designing Postgres Row-Level Security (RLS) policies for multi-tenant authorization, especially in Supabase / PostgREST stacks — `CREATE POLICY` syntax, USING vs WITH CHECK, PERMISSIVE/RESTRICTIVE merge semantics, the `(SELECT auth.uid())` performance pattern…
Langue du texte source : anglais
Expert-level Rust debugging beyond `println!` and `dbg!`. Covers rust-lldb/rust-gdb (pretty-printers, breakpoints on monomorphized generics, why async backtraces lie), `tracing`/`tracing-subscriber` (spans, EnvFilter/RUST_LOG, the span-guard-across-.await…
Langue du texte source : anglais
Audit and maintain a skill bundle so every bundled asset is reachable from SKILL.md or its directory's INDEX.md. Use when a skill has accumulated content (references, examples, schemas, scripts, templates, agents, diagrams) that may not be discoverable, when…
Langue du texte source : anglais
Post-execution skill crystallization and learning engine updates for WinDAGs. Runs after successful execution to update Thompson sampling parameters, track method quality, detect monster-barring, log near-miss events, and signal Kuhnian crises. Activate on…
Langue du texte source : anglais