메뉴
이 저장소의 skills
SkillsMP는 curiositech/port-daddy에서 259개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
curiositech/port-daddy수집된 skill 259개 중 40개를 표시합니다.
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…
원문 언어: 영어
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',…
원문 언어: 영어
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',…
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
Foundational concurrent computation model where actors communicate exclusively through asynchronous message passing
원문 언어: 영어
BDI (Beliefs-Desires-Intentions) agency framework for designing autonomous agents with mental state architectures
원문 언어: 영어
Design patterns for BDI agents using the MORA methodology for practical multi-agent system development
원문 언어: 영어
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…
원문 언어: 영어
Integration of BDI agent architecture with soft systems methodology for complex organizational problem-solving
원문 언어: 영어
JADE platform for building FIPA-compliant multi-agent systems with standardized agent communication
원문 언어: 영어
Jason multi-agent platform implementing AgentSpeak(L) for practical BDI agent programming and deployment
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
Generalized Partial Global Planning with TAEMS task structures for multi-agent coordination
원문 언어: 영어
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…
원문 언어: 영어
Decision-theoretic framework for agents embedded within the environments they model and act upon
원문 언어: 영어
Foundational impossibility result proving consensus cannot be guaranteed in asynchronous systems with even one faulty process
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
Simulation of believable human behavior using LLM-powered generative agents with memory and social interaction
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
Formal framework for modeling intelligent agents through Beliefs, Desires/Goals, and Intentions as distinct mental states with rigorous semantics
원문 언어: 영어
Foundational framework for modeling intelligent agents through Beliefs, Desires, and Intentions with practical implementation strategies under resource constraints
원문 언어: 영어
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,…
원문 언어: 영어
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,…
원문 언어: 영어
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…
원문 언어: 영어
Distributed task allocation protocol where agents negotiate task assignments through contract bidding
원문 언어: 영어
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…
원문 언어: 영어
Comprehensive introduction to multi-agent systems covering coordination, communication, and distributed AI theory
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어