KatLang skills

Agent Skills for KatLang, a concise language for calculations with 34-digit decimal arithmetic. Each skill is a self-contained folder that Claude Code, Codex, and other skill-aware agents can load.

Skills

Skill	Purpose
katlang	Write, run, verify, and explain KatLang calculations through a bundled KatLang CLI, from one-off arithmetic to multi-step numerical algorithms.

Inside the katlang skill

• SKILL.md: when to use the skill and the fast path for ordinary calculations.
• scripts/run-katlang.sh and scripts/run-katlang.ps1: wrappers that pick the bundled runtime for the current platform, extract it once into a versioned cache, and run the CLI.
• assets/cli/: the unmodified KatLang CLI 0.8.194 release archives for linux-x64, linux-arm64, osx-x64, osx-arm64, win-x64, and win-arm64. Each archive holds the executable together with the KatLang LICENSE, NOTICE, and PATENTS files and the .NET runtime license and third-party notices. Their checksums match the upstream SHA256SUMS.
• references/: compact language, semantics, builtins, examples, and CLI references that the agent loads only when needed.
• agents/openai.yaml: display and invocation metadata for Codex and ChatGPT.

The wrappers never download anything; they only extract the bundled archives. On any other platform the skill answers from the references and says that runtime validation was unavailable.

Install

Copy or symlink the katlang folder into your agent's skills directory:

• Claude Code: ~/.claude/skills/katlang for personal use, or .claude/skills/katlang inside a project.
• Codex: ~/.agents/skills/katlang for personal use, or .agents/skills/katlang inside a repository.

Then ask for a calculation, for example "use KatLang to sum the squares from 1 to 100". The agent translates the request into KatLang and runs it through the bundled CLI.

Run the CLI yourself

bash katlang/scripts/run-katlang.sh eval 'range(1, 100).map{x * x}.sum'

powershell -NoProfile -ExecutionPolicy Bypass -File katlang\scripts\run-katlang.ps1 eval 'range(1, 100).map{x * x}.sum'

Both print 338350. The bash wrapper also works from Git Bash on Windows, where it delegates to the PowerShell wrapper.

Updating the bundled CLI

Download the six archives and SHA256SUMS from a katlangnet release, verify the checksums, and replace the files in katlang/assets/cli/. Keep exactly one archive per platform. The wrappers derive the version from the archive filenames, and the legal files travel inside each archive, so nothing else changes.

Links

• KatLang tutorial
• Language runtime and CLI source
• Reusable KatLang libraries

License

MIT for the skills, copyright Logics Research Centre SIA and Contributors.

Co-funded by the European Union

1.1.1.9 Research application No 1.1.1.9/LZP/3/25/353 of the Activity "Post-doctoral Research" "KatLang: Enhancing a Higher-Order Domain-Specific Language for Problem Solving and Educational Assessment in Mathematics and Physics".

Authorship and Contributions

The KatLang skills are created and authored by Mikus Vanags and published by Logics Research Centre SIA. Copyright is held by Logics Research Centre SIA and Contributors: contributors keep the copyright in their contributions and license them under the MIT License, with no Contributor License Agreement required (see CONTRIBUTING.md). Contributions from the community are very welcome — whether through ideas, discussions, bug reports, documentation improvements, or code. The full list of contributors is at https://github.com/katlangorg/skills/graphs/contributors.