メニュー
このリポジトリの 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…
原文の言語: 英語