Skip to content
@wienerlabs

Wiener Labs

Applied cryptography & onchain infrastructure. ZK proofs, x402 payments, cross-chain.

Pinned Loading

  1. covenant covenant Public

    The payment rail AI agents use to get paid without human approval. Optimistic settlement on @solana. Jobs auto-finalize after a challenge period, disputed jobs escalate to a bonded arbitrator. One …

    TypeScript 31 2

  2. mosaic mosaic Public

    One substrate, many proofs. Trait-based on-chain verifier library for Solana supporting Groth16, PLONK, FRI-STARK, and Nova.

    Rust 10 2

  3. xyra xyra Public

    The agentic code editor where every change is cross-examined by a rival AI before you see it. Flat-rate, local-first, and yours.

    Python 10 1

  4. aperture aperture Public

    Production-grade ZK compliance for AI agent payments on Solana. Real Circom Groth16 proofs gate spending limits, sanctions, and time rules without leaking payment details. Two rails: HTTP 402 (USDC…

    TypeScript 5

  5. etornie-solana etornie-solana Public

    Full-stack intellectual property and Real-World-Asset (RWA) platform.

    Python 3

  6. square square Public

    Compliance-gated agent job settlement on Circle Arc. USDC-native escrow with optimistic challenge windows, ZK spending-mandate proofs, and ERC-8004 agent identity.

    TypeScript 3 1

Repositories

Showing 10 of 52 repositories
  • etornie-solana Public

    Full-stack intellectual property and Real-World-Asset (RWA) platform.

    wienerlabs/etornie-solana's past year of commit activity
    Python 3 MIT 0 42 9 Updated Sep 20, 2026
  • paralyx Public

    Collateralized Turkish lira credit lines on Stellar: Blend v2 credit engine, SEP-6 TRY anchor rail

    wienerlabs/paralyx's past year of commit activity
    TypeScript 0 1 8 0 Updated Sep 20, 2026
  • square Public

    Compliance-gated agent job settlement on Circle Arc. USDC-native escrow with optimistic challenge windows, ZK spending-mandate proofs, and ERC-8004 agent identity.

    wienerlabs/square's past year of commit activity
    TypeScript 3 Apache-2.0 1 17 0 Updated Sep 18, 2026
  • wienerenvoy Public

    Tailnet-native control plane that turns a Mac mini into a home server you can fully power down at will. Rust daemon plus Next.js dashboard.

    wienerlabs/wienerenvoy's past year of commit activity
    Rust 0 AGPL-3.0 0 0 8 Updated Sep 14, 2026
  • wienerlabs.xyz Public

    Wiener Labs's official brand website.

    wienerlabs/wienerlabs.xyz's past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Aug 21, 2026
  • covenant Public

    The payment rail AI agents use to get paid without human approval. Optimistic settlement on @Solana. Jobs auto-finalize after a challenge period, disputed jobs escalate to a bonded arbitrator. One protocol, any agent.

    wienerlabs/covenant's past year of commit activity
    TypeScript 31 LGPL-2.1 2 139 0 Updated Aug 18, 2026
  • leviathan-net Public

    Leviathan network substrate: nousnet fork carrying the bond, audit and slash layer

    wienerlabs/leviathan-net's past year of commit activity
    Rust 2 Apache-2.0 0 8 0 Updated Aug 10, 2026
  • leviathan-web Public

    Leviathan website trustless training for the people's model

    wienerlabs/leviathan-web's past year of commit activity
    TypeScript 0 0 3 0 Updated Aug 9, 2026
  • leviathan Public

    Leviathan is a Solana-coordinated training network where anyone with a GPU joins by posting a bond, earns Proof of Gradient for contributions that survive verification, and loses the bond if they lie. The chain carries commitments, audits and money. The mesh carries compressed tensors. The model belongs to the network that trained it.

    wienerlabs/leviathan's past year of commit activity
    Python 1 0 11 0 Updated Aug 3, 2026
  • xyra Public

    The agentic code editor where every change is cross-examined by a rival AI before you see it. Flat-rate, local-first, and yours.

    wienerlabs/xyra's past year of commit activity
    Python 10 MIT 1 0 0 Updated Jul 29, 2026

Top languages

Loading…