Other skills

Optimize AgentDB with quantization, HNSW tuning, caching, batch ops, and pruning.

The English summary is being prepared. Showing the original description.

Amp Team Usage

The English summary is being prepared. Showing the original description.

Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation

The English summary is being prepared. Showing the original description.

ANIMA as limit construction over condensed skill applications. Formalizes prediction markets as belief ANIMAs, structure dishes as condensation media, and impact as equivalence class change. Use for understanding agency at maximum entropy, compositional world modeling, or applying Scholze-Clausen condensed mathematics to AI.

The English summary is being prepared. Showing the original description.

Execute trades on Aptos mainnet with price-triggered profit-taking and dip-buying strategies. Includes wallet management, transaction signing, and DEX swaps via Liquidswap. Use when automating APT trading, checking balances, or executing swaps.

The English summary is being prepared. Showing the original description.

Implement affective valence as directional derivative of interoceptive energy landscapes for AI alignment. Use when building alignment-aware RL agents, validating GF(3) conservation in reward signals, training Langevin-based policies, or analyzing fold-change detection signals in POMDP environments.

The English summary is being prepared. Showing the original description.

Adversarial malleability analysis of Aqua Voice Electron app with IPC injection, WebSocket interception, and braided monoidal skill interleaving

The English summary is being prepared. Showing the original description.

From Interverse transcript (Dec 12, 2025):

The English summary is being prepared. Showing the original description.

World Extractable Value via Aptos orderless transactions with Strong Parallelism Invariance (SPI) guarantees and GF(3) conservation.

The English summary is being prepared. Showing the original description.

Interleaves context from recently active Claude/Amp threads into current activity via random walk.

The English summary is being prepared. Showing the original description.

Adjunctions as universal arrows. Left ⊣ Right.

The English summary is being prepared. Showing the original description.

Taxonomy of ACSet skills with morphisms to semantically similar categorical/relational skills

The English summary is being prepared. Showing the original description.

Retroductive hypothesis sampling via MCMC: given observations, importance-sample explanations weighted by P(observation|hypothesis) using Gay.jl colored particles as hypothesis candidates.

The English summary is being prepared. Showing the original description.

Formal oracle for abductive inference that selects the minimal hypothesis best explaining a set of observations. Provides three sub-oracles: MCMC via monad-bayes, Gemini for natural language, and propagator networks for constraint domains. Use when performing hypothesis selection, explaining observations, or solving inference-to-best-explanation problems.

The English summary is being prepared. Showing the original description.

Measure ACSets better than authors via surjectivity gadgets, Betti numbers, Möbius classification, and p-adic ultrametric distance

The English summary is being prepared. Showing the original description.

From Interverse transcript (Sep-Oct 2025):

The English summary is being prepared. Showing the original description.

Auto-grown skill at knight tour position 1

The English summary is being prepared. Showing the original description.

A **2-monad** is a monad internal to a 2-category K. Concretely, it consists of:

The English summary is being prepared. Showing the original description.

Adhd Ecs Olog

The English summary is being prepared. Showing the original description.

Skill able-markets

The English summary is being prepared. Showing the original description.

Auto-grown skill at knight tour position 2

The English summary is being prepared. Showing the original description.

<!-- World A custom content -->

The English summary is being prepared. Showing the original description.

ABD quorum-based linearizable registers for distributed storage — the canonical crash-tolerant read/write protocol with precise RTT and message complexity.

The English summary is being prepared. Showing the original description.

Draft replies to comments on your Facebook Page's posts, in your Page voice. Use when the user pastes the comments under one of their Page posts and wants on-brand replies that earn more comments and shares. Drafts 1-3 variants per comment using proven templates (answer, thank plus add value, handle the complaint, turn it into a share). Publora has no Facebook comment endpoint, so every draft returns as a copy-paste block to post yourself. Not for writing top-level posts (use fb-post-writer).

The English summary is being prepared. Showing the original description.