wrkmark / wrkmark-app Star 2 Code Issues Pull requests Wrkmark desktop application (Electron + React) electron react desktop-app windows macos linux open-source typescript developer-tools privacy-first work-tracking behavioral-verification Updated Jul 12, 2026 TypeScript
charly-vibes / espectacular Sponsor Star 1 Code Issues Pull requests Behavioral verification layer for the charly AI ecosystem — enforces spec-test correspondence via the ah CLI testing rust cli behavioral-verification Updated Oct 10, 2026 Rust
AETHERXGLOBAL / execsurface Star 0 Code Issues Pull requests Discussions Runtime execution-surface drift detection for CI/CD, dependencies, developer tools and AI workflows. Rust CLI + GitHub Action. linux rust ci developer-tools reproducibility software-supply-chain observability runtime-verification runtime-analysis github-actions execution-semantics behavioral-verification runtime-drift semantic-evidence Updated Oct 9, 2026 Rust
logiccrafterdz / CausalVerify Star 0 Code Issues Pull requests A lightweight, protocol-agnostic library for **Causal Behavioral Verification**. javascript security cryptography typescript blockchain verification identity-verification ecdsa web3 merkle-tree causality ai-agents x402 trust-scoring behavioral-verification Updated Feb 5, 2026 TypeScript
wrkmark / wrkmark-web Star 0 Code Issues Pull requests Wrkmark landing page - wrkmark.com threejs landing-page static-site developer-tools cloudflare-pages behavioral-verification wrkmark Updated Sep 23, 2026 HTML