Skill-as-Pseudocode: Refactoring Skill Libraries to Pseudocode for LLM Agents

arXiv:2605.27955 · cs.PL, cs.CL · Submitted 2026-05-27 · Read on arXiv

cs.PL, cs.CL

Submitted: 2026-05-27

Updated: 2026-08-31

Comments: EMNLP Findings 2026

Code: https://github.com/InternLM/Skill-as-Pseudocode

License: http://creativecommons.org/licenses/by/4.0/

The gist: Markdown skill libraries for LLM agents ship as free-form prose, forcing the agent to re-derive both the input schema and the concrete invocation syntax on every retrieval.

Terminology

Abstract

Markdown skill libraries for LLM agents ship as free-form prose, forcing the agent to re-derive both the input schema and the concrete invocation syntax on every retrieval. This produces a "confused to re-retrieve to still confused" loop: the agent issues a partially-correct action, receives uninformative feedback, and re-retrieves the same prose. We propose Skill-as-Pseudocode (SaP), an automatic conversion of markdown skill libraries into typed pseudocode with deterministic quality control. From each cluster of similar procedural passages, SaP extracts a typed contract and filters it through a four-check deterministic verifier (coverage, binding, replacement, risk). Promoted contracts are inlined into a rewritten skill skeleton alongside restored action templates, giving the agent two complementary signals: a typed signature for what a skill does and a concrete template for how to invoke it. On the ALFWorld unseen split (134 games, gpt-4o-mini, three seeds), SaP wins 82/402 paired games versus 47/402 for the Graph-of-Skills (GoS) baseline (pooled McNemar p = 8.2 times 10-5), at-22.8 plus or minus 6.4 % input tokens and-14.5 plus or minus 4.1 % LLM calls per game. A bundle-component ablation attributes the gain to the pairing of typed contracts with concrete action templates: the contract alone falls below the prose baseline.

Sources

Related papers