tufantunc
2 entries
External
SSH — policy-gated remote access
📦Local
Policy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log.
External
Axiom — Advanced Math
📦Local
Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
advanced-mathematicscasclaudecli+7