published by tufantunc

2 listings on this page, in order of arrival. Each one has its own page with README, repository facts and source links.

1. Axiom — Advanced Math ★ 2
   Exact symbolic math for LLMs: integrals, equations, matrices, and claim verification via Giac/Xcas
2. SSH — policy-gated remote access ★ 724
   Policy-gated, audited SSH for Linux and Windows hosts: roles, approvals, and an audit log.