Popular repositories Loading

1. infrastructure-agent-and-management infrastructure-agent-and-management Public

   Infrastructure Agent and Management — Gradio AI fleet manager for Proxmox and Array infra (CT937)

   Python 1

2. researcharray researcharray Public

   libdimfold — Lossless Dimensional Folding with Fermat Bridge. A C library for high-dimensional compression with mathematical proof of correctness.

   C

3. afld-proof afld-proof Public

   Machine-verified proofs for lossless dimensional folding (Lean 4 + Mathlib). 91 theorems, zero sorry.

   Lean

4. mex mex Public

   Forked from mex-memory/mex

   Persistent project memory for AI coding agents. Structured scaffold + drift detection CLI.

   TypeScript

5. ClawWork ClawWork Public

   Forked from clawwork-ai/ClawWork

   Client for OpenClaw — Connect ClawWork to your own OpenClaw and unlock 10x multi-session productivity.

   TypeScript

6. kiwifs kiwifs Public

   Forked from kiwifs/kiwifs

   Markdown filesystem for agents and teams.

   Go