Pinned Loading

1. sandboxed.sh sandboxed.sh Public

   Safe runtime for autonomous on-chain AI agents: isolated sandboxes, Library skills, encrypted secrets, and OKX read-only security checks.

   Rust 431 42

2. open-ralph-wiggum open-ralph-wiggum Public

   Type `ralph "prompt"` to start open code in a ralph loop. Also supports a prompt file & status check. Open Code, Claude Code, Codex, Copilot

   TypeScript 1.7k 134

3. horus-nix-home horus-nix-home Public

   This is my laptop nixos user environment provided by https://github.com/rycee/home-manager. It includes full i3, polybar and personnal apps configuration, all in nix.

   Nix 139 15

4. lfglabs-dev/verity lfglabs-dev/verity Public

   Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

   Lean 87 8

5. oraxen/oraxen oraxen/oraxen Public

   Oraxen is a minecraft plugin that allows to easily use Minecraft 1.14 features in order to create new items with custom textures. It handles the resourcepack generation, upload (using Polymath) and…

   Java 713 419

6. age-of-eykar/contract age-of-eykar/contract Public

   The StarkNet Eykar smartcontract written in cairo. A decentralized game of conquest powered by blockchain. An almost infinite territory that can be conquered through alliances and wars.

   Cairo 105 37