src/libK/AGENTS.md

Agent Instructions

Allowed tools

The following tools are pre-approved and may be used freely without asking for user authorization:

Git usage

Never run git push or any variant that pushes commits to a remote (e.g. git push --force, git push origin). If a task requires pushing, stop and ask the user to do it manually.



Try the rlibkriging package in your browser

Any scripts or data that you put into this service are public.

rlibkriging documentation built on May 14, 2026, 1:06 a.m.