Policy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log.
Free
Scanned where there is a package or repository to read, and every release diffed against the tool surface we already hold.
Policy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log.
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas