The paper teaches AI agents to understand big codebases without running the code by following a strict, step-by-step thinking template called semi-formal reasoning.
Agent skills are like apps for AI helpers, but many of them are not carefully checked for safety yet.