All categories
Documentation
Docs, README files, API references, tutorials, specs, and changelogs
- 16,081
- 671
Security grades appear on each card once the skill has been scanned. Newly imported skills may briefly show without a grade until the backfill job runs.
Open in full browserBrowse documentation skills
Showing 5,881–5,904 of 16,081 skills
- Dre Dynamic Rollout EditingDynamic Rollout Editing (DRE) for reducing overthinking in RL-trained reasoning models. Training-time intervention that preserves verified prefixes and edits unnecessary continuation. Use when: (1) GRPO/RLVR training shows overthinking, (2) credit assignment fails for successful trajectories, (3) models continue reasoning after correct answer emergence. Activation: overthinking, GRPO, rollout editing, credit assignment, RL post-training.Votes: 0GitHub stars: 3
- DockerDocker container management skill. Build, run, manage containers, images, networks, and volumes. Use for containerization, Docker Compose, multi-container apps, and DevOps tasks.Votes: 0GitHub stars: 3
- Discounted Mpc ControlModel Predictive Control (MPC) stability and suboptimality analysis under plant-model mismatch with discounting. Provides theoretical guarantees for infinite-horizon optimal control when using surrogate models. Use when designing robust control systems, analyzing MPC stability, or dealing with model uncertainty in control applications.Votes: 0GitHub stars: 3
- Conservative Discrete Abstractions CpsCPS discrete abstractions with sound verification.Votes: 0GitHub stars: 3
- Bosonic Gkp Parity EncodingLoss-tolerant quantum communication using Bosonic Gottesman-Kitaev-Preskill (GKP) parity encoding. Implements quantum repeaters with concatenated Bell state measurement for long-distance quantum communication. Activation: bosonic GKP, quantum repeater, loss-tolerant communication, quantum error correction.Votes: 0GitHub stars: 3
- Blend Behavior Guided Neural行为指导的神经种群动力学建模方法论（BLEND）。通过特权知识蒸馏， 在训练时利用行为信号，推理时仅需神经活动。 触发词：神经种群动力学、行为建模、知识蒸馏、特权信息、BLEND、 neural population dynamics, behavior-guided, privileged distillation。Votes: 0GitHub stars: 3
- Bayesian Adaptive Latent Mixture Brain ConnectomeBayesian adaptive latent mixture model for zero-inflated weighted brain connectome analysis. Use when analyzing structural/functional brain networks with many zero-valued edges, modeling subject-level mixture of shared connectivity templates, or performing Bayesian inference on connectome data with Hurdle likelihoods.Votes: 0GitHub stars: 3
- Automated Domain Model Extraction LlmExtract domain models from code using LLMs and heuristics.Votes: 0GitHub stars: 3
- Arxiv 2608 05439 Scp Nl2tl Selective Conformal Prediction With SemaSCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications (arXiv: 2608.05439)Votes: 0GitHub stars: 3
- Application Level Quantum BenchmarkingScalable framework for application-level quantum benchmarking. Supports cross-platform comparison with 13 benchmark families covering solution quality, execution time, energy, and Time-to-Solution metrics. Activation: quantum benchmarking, application-level benchmark, quantum system evaluationVotes: 0GitHub stars: 3
- Reference Free Evaluation Of Reasoning In Open EndSkill generated from arXiv paper 2607.19678: Reference-Free Evaluation of Reasoning in Open-Ended Question AnsweringVotes: 0GitHub stars: 3
- Beyond Representational Alignment With Brain GuideDerived from arXiv:2606.11893 - Beyond representational alignment with brain-guided language models for robust reasoningVotes: 0GitHub stars: 3
- Automatic Programming Of Cellular Automata And Artificial Neural Networks Guided By Philosophy**arXiv ID:** 1905.04232 **Authors:** Patrik Christen, Olivier Del Fabbro **Published:** 2019-05-10T16:00:09Z **Abstract:** Many computer models such as cellular automata and artificial neural networks have been developed and successfully applied. However, in some cases, these models might be restrictive on the possible solutions or their solutions might be difficult to interpret. To overcome this problem, we outline a new approach, the so-called allagmatic method, that automatically programs...Votes: 0GitHub stars: 3
- Ai Research TrackerTrack and analyze AI research from companies like OpenAI, Anthropic, Google DeepMind. Create bilingual (English/Chinese) structured notes in Obsidian with automated daily updates.Votes: 0GitHub stars: 3
- Sensation Modulating NetworkSensation Modulating Network (SMN) architecture for embodied cognition - haltability-based framework reconciling cognitivism and 4E approaches through opponent dynamics. Use when studying embodied cognitive architecture, intentional directedness without modules, self/world distinction as structural feature, or generativity from autonomic regularity. Keywords: haltability, opponent dynamics, sensation modulators, SMAP, cognitivism vs 4E, embodied architecture, intentional directedness.Votes: 0GitHub stars: 3
- Mistake Gated Continual LearningMistake-gated learning for energy and memory efficient continual learning using neuromorphic hardware. Only neurons that "make mistakes" (prediction errors) are updated, reducing compute and memory. Achieves 10-100x energy reduction vs full backprop on MNIST/CIFAR benchmarks.Votes: 0GitHub stars: 3
- Maximum Entropy Connectivity NetworksMaximum entropy principle for neural network connectivity — describe connectivity as a probability distribution over single-neuron weights, express task requirements as constraints, maximize Shannon entropy. From arXiv:2605.25607.Votes: 0GitHub stars: 3
- Feedback Hebbian Continual LearningBackpropagation-free continual learning using feedback-aligned Hebbian plasticity. Replaces backpropagation with local Hebbian updates guided by random feedback connections, enabling biologically plausible continual learning without catastrophic forgetting. Use for bio-inspired learning, continual/incremental learning, and backprop-free neural network training. Activation: backprop-free learning, feedback alignment, Hebbian continual learning, local learning rules, biologically plausible trai...Votes: 0GitHub stars: 3
- OpenspecSpecification-driven development framework using Gherkin syntax. Use when user mentions openspec, open spec, spec-driven, gherkin, BDD, given-when-then, or needs to define requirements in structured human-readable format.Votes: 0GitHub stars: 3
- Adaptive Conduction Delay LighthouseHaken Lighthouse model with adaptive conduction delays and phase locking theory. Provides analytically tractable framework for phase-locked states in delayed spiking networks, spike-time perturbation stability analysis, and activity-dependent white matter plasticity (myelination-modulated delays). Applicable to: SNN temporal coordination, communication-through-coherence, white matter plasticity modeling, delayed spiking network analysis, circulant ring networks, autapse dynamics, and slow-fas...Votes: 0GitHub stars: 3
- Abstraction Fallacy Ai Consciousness分析AI能否具有意识的物理主义框架，区分模拟与实例化的本体论边界，提出制图者依赖的计算理论Votes: 0GitHub stars: 3
- Algorithm EngineerAlgorithm design, implementation, and optimization specialistVotes: 0GitHub stars: 3
- Contact ListSingle source of truth for all contacts, PAs, and WhatsApp groups. Use when: looking up a phone number, email, address, PA, group JID, adding/updating a contact, or before sending any WhatsApp message. Reads and writes contact-list.md in the workspace root.Votes: 0GitHub stars: 6
- Skill Creator MsGuide for creating effective skills for AI coding agents working with Azure SDKs and Microsoft Foundry services. Use when creating new skills or updating existing skills.Votes: 0GitHub stars: 6