Applies programming-language theory to design, refactor, review, and test code across thirteen languages.
npx skills add https://github.com/BTreeMap/SKILLs --skill pl-theorist-btreemap
Please help me install this Agent Skill. Skill: pl-theorist Source: https://github.com/BTreeMap/SKILLs/tree/main/pl-theorist Command: npx skills add https://github.com/BTreeMap/SKILLs --skill pl-theorist-btreemap
High-intent search queries and answers about installing and using this skill.
Invoke the review verb on the diff or file set. It produces read-only ranked findings covering partiality, invalid states, effect leaks, complexity, and stale idioms, judged against the loaded language profile.
The refactor verb reconstructs the observable contract first, classifies each imperative region into its algebraic reading, then rewrites toward native map, filter, and fold vocabulary. It descends one abstraction level only when the language cost model demands it.
It ships cost-model profiles for Python, JavaScript, TypeScript, Rust, Go, Haskell, C, C++, Java, Kotlin, C#, Bash, and GitHub Actions YAML. For unlisted languages it derives constraints from repository configuration and states its uncertainty.
Yes, the audit verb sweeps a repository or module, sampling by blast radius, and returns a ranked ledger ordered by severity times reach. It names every unexamined area and leaves the working tree untouched.
When the language cost model shows stack risk, allocation, or lost fusion, the skill descends to a direct loop with pure helpers. A disciplined loop is treated as a valid backend; externally visible partial mutation is the defect.
gong-typeEnforce uv for Python project initialization, dependency management, and execution.
xergioalexCommit staged and unstaged Git changes with conventional messages and push to remote.
HermeticOrmusValidate functor, monad, and naturality laws with fp-ts and fast-check.
shobcoderEnforces minimal, standard-library-first code solutions with adjustable intensity levels.
