276 skills · sorted by relevance
Implement DeFi protocols with production-ready templates for staking, AMMs, governance, and lending systems. Use when building decentralized finance applications or smart contract protocols.
The English summary is being prepared. Showing the original description.
Implements federated learning architecture patterns for GDPR compliance. Covers secure aggregation protocols, differential privacy integration, communication protocols, and privacy-by-design distributed ML training. Keywords: federated learning, distributed training, secure aggregation, differential privacy, privacy-preserving ML.
The English summary is being prepared. Showing the original description.
Automatically generate TLA+ specifications from source code (C/C++, Python) for formal verification of distributed systems. Use when users need to: (1) Generate TLA+ specs from program implementations, (2) Model distributed systems, consensus protocols, or concurrent algorithms, (3) Extract state variables, actions, and invariants from code, (4) Create formal specifications for model checking with TLC, (5) Verify safety and liveness properties of distributed systems. Particularly effective for message-passing systems, replication protocols, consensus algorithms, and distributed transactions.
The English summary is being prepared. Showing the original description.
Proves protocols and agent workflows with TLA+, P, Alloy, Z3, Dafny, or Lean. Use when proving protocols correct, writing TLA+ specs, or verifying LLM proofs.
The English summary is being prepared. Showing the original description.
Integration of advanced IoT protocols for Zephyr RTOS. Covers OpenThread mesh networking, Matter-over-Thread device development, Golioth Cloud SDK patterns, and LoRaWAN basics. Trigger when building smart home devices, wide-area sensor networks, or cloud-integrated hardware fleets.
The English summary is being prepared. Showing the original description.
Comprehensive research corpus covering 40+ agentic coordination protocols and ecosystems (MCP, A2A, ANP, UCP, ACP, AGNTCY, NANDA, FIPA, WoT, etc.) with emphasis on identity architectures, governance bodies, and interoperability convergence patterns.
The English summary is being prepared. Showing the original description.
Reverses proprietary command-and-control protocols: locating send/recv routines, recovering the message framing and encryption/encoding, and reconstructing the command set to build a decoder or emulator. Activates for requests to reverse a custom C2 protocol, decode beacon traffic, or document a malware command structure.
The English summary is being prepared. Showing the original description.
FIPA standard library of agent interaction protocols for structured multi-agent communication
The English summary is being prepared. Showing the original description.
Suggests that clinicians continue CSII in hospitalized patients with type 1 or type 2 diabetes when the institution has clear protocols for evaluating pump candidates and appropriate monitoring and safety procedures. Trigger phrases include: 'Admitted patient on pump, check hospital pump policy' and 'Inpatient with diabetes using pump, verify institutional guidelines'.
The English summary is being prepared. Showing the original description.
Implement DeFi protocols with production-ready templates for staking, AMMs, governance, and lending systems. Use when building decentralized finance applications or smart contract protocols.
The English summary is being prepared. Showing the original description.
FIPA standard library of agent interaction protocols for structured multi-agent communication
The English summary is being prepared. Showing the original description.
Designs 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.
The English summary is being prepared. Showing the original description.
Interactive guide for integrating new DeFi modules or protocols into OneKey. Use when adding new DeFi features like staking protocols, lending markets, or entirely new DeFi modules. Triggers on DeFi, protocol, integration, Earn, Borrow, staking, lending, supply, borrow, withdraw, repay, claim, new module, Pendle, Aave, Compound.
The English summary is being prepared. Showing the original description.
Orchestrate multi-agent teams with defined roles, task lifecycles, handoff protocols, and review workflows. Use when: (1) Setting up a team of 2+ agents with different specializations, (2) Defining task routing and lifecycle (inbox → spec → build → review → done), (3) Creating handoff protocols between agents, (4) Establishing review and quality gates, (5) Managing async communication and artifact sharing between agents.
The English summary is being prepared. Showing the original description.
Build production-ready Web3 applications, smart contracts, and decentralized systems. Implements DeFi protocols, NFT platforms, DAOs, and enterprise blockchain integrations. Use PROACTIVELY for smart contracts, Web3 apps, DeFi protocols, or blockchain infrastructure.
The English summary is being prepared. Showing the original description.
Guide Swift 6.2 migration and concurrency design using MainActor, which keeps related work on the main actor. Address data-race compiler errors, protocol conformance, and explicit background execution for heavy computations through @concurrent.
Handle shipment delays, damage, loss, and shortages with workflows for gathering evidence, filing compensation claims, and negotiating with carriers. Prioritize cases by financial exposure and customer impact, and assess when to absorb costs or pursue recovery.
Benchmark distributed consensus protocols, methods computers use to agree on shared results. Compare processing rates, response times, scaling behavior, and resource usage across Byzantine, Raft, and Gossip, then identify bottlenecks and potential tuning changes.
Coordinate gossip protocols, where nodes pass information among peers, for distributed systems. The skill covers update propagation, state synchronization, conflicting changes, failure detection, and tuning communication so nodes eventually reach a consistent state.
Choose Rust types for operating system paths in Codex server protocols and internal code. Guides new definitions and explicitly requested migrations while preserving client compatibility and handling paths from different operating systems.
Plan study sample sizes, estimate statistical power—the chance of detecting an assumed effect—and find the smallest detectable effect. Supports standard tests and simulations for complex designs, with sensitivity analyses and sample size justifications.
Simulate lithium-ion battery charging, discharging, and rest with PyBaMM. Track voltage and capacity, record parameter sources, check how numerical settings affect predictions, and compare simulated curves with measured cycling data.
Manage a Binance Web3 wallet through the baw command-line tool. Check balances, transfer or swap tokens, manage limit orders and token permissions, and access prediction markets and DeFi, blockchain-based financial services.
Analyze packet captures in a CTF sandbox by rebuilding communication sessions and decoding message contents. Recover transferred files and connect packet order, timing, and reconstructed streams to observed host or malware behavior.