12 stories tagged with #agent-skills, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.
⌘ RSS feed for this tag → or search "Agent Skills"
Inside the Skill Market: From Software Engineering Activities to Reusable Agent Skills
Software engineering (abbrev. SE) has continuously evolved through increasingly powerful forms of reuse, from source code and libraries to components and services. Recent advances …
NVIDIA Enables the Next Era Of Physical AI Research With Agent Skills For Autonomous Vehicles, Robotics And Vision AI
New physical AI agent skills, powered by NVIDIA Cosmos 3, help researchers accelerate data generation, simulation, policy training and evaluation for autonomous system development.…
Designing Coding Agent Skills That Actually Work
I've spent the last few months obsessed with AI coding agents. Not just using them. Building...…
Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
The companion paper introduced a four-level verification lattice on agent-skill manifests (unverified, declared, tested, formal) and left the top level aspirational. This paper c…
From Raw Experience to Skill Consumption: A Systematic Study of Model-Generated Agent Skills
Language agents increasingly improve by reusing \emph{skills} -- structured procedural artifacts distilled from past experience. In particular, \emph{domain-level} and \emph{model-…
SkillOpt: Executive Strategy for Self-Evolving Agent Skills
Agent skills today are hand-crafted, generated one-shot, or evolved through loosely controlled self-revision, none of which behaves like a deep-learning optimizer for the skill, an…
Show HN: Homecrew – Share agent skills across your team and keep them in sync
Install personal skills, team taps, and git-hosted skill collections into every agent on your Mac. An open-source project by Logic, Inc.…
Give Your AI Assistant a DolphinDB Brain — Install Agent Skills in 30 Seconds
Teach Claude Code, Cursor, or Trae to write correct DolphinDB code with one pip install. No hallucination, no internet required.…
Show HN: Gutenberg – Any URL to verified CLI and MCP server and agent skills
From any API surface to verified AI agent tools: Go CLI + MCP + skills + SQLite + policy + proofs. - JustVugg/gutenberg-cli…
An open question about how AI agent skills should be distributed
Zero-config CLI that scans your npm dependencies for SKILL.md directories, validates them, and installs them into Cursor / Codex / Claude / Copilot / Amp / OpenCode / Goose skill f…
Stop trusting your agent skills with vibes. Eliminate the context security risk.
When you install an npm package, you can run npm audit. When you install a Python package, there's...…
SkillSmith: Compiling Agent Skills into Boundary-Guided Runtime Interfaces
Recently, skills have been widely adopted in large language model (LLM)-based agent systems across various domains. In existing frameworks, skills are typically injected into the a…