Skilllens Agent Judge
Extract fine-grained SKILL.md constraints and judge SkillLens coverage for a selected skill-use window. Use when an agent is asked to identify exact skill constraints, decide whether they are covered, missed, violated, not applicable, or unknown from trace events, and return strict SkillLens judgment JSON.
Skillscope E2e
Run a single-instance SkillScope optimization loop for one selected SkillsBench task and one selected SKILL.md: original run, native verifier check, graph-guided SkillScope analysis, gate, one optimized skill rewrite, optimized rerun, and adherence comparison. Use when the user wants to validate or optimize a specific task-skill pair.
Skillscope Analyzer
Analyze one selected SkillScope skill-use window by extracting precise constraints from SKILL.md, inspecting Codex or Claude Code trace evidence in stages, writing early UI highlight artifacts, and producing an evidence-backed coverage report. Use when SkillScope launches Codex or Claude Code from the browser after a user clicks Start Analysis for a selected skill use.
Skillscope
Launch SkillScope from Codex, capture the active Codex session trace plus loaded skill/rule files, and open the browser coverage viewer.
Skillscope Optimizer
Optimize an agent skill from SkillScope analysis artifacts. Use when Codex or Claude Code is launched by SkillScope after coverage analysis, or when a workflow needs an evidence-backed SKILL.md revision based on constraints.json, skill-graph.json, trace-facts.json, findings.json, and the original SKILL.md.
Pdf Edit
A Claude skill from mathieu0905/skilllens.