AI Agent Skills

原样镜像官方 Codex 桌面应用:每 15 分钟探测、SHA256 可校验、国内直连下载、 Mac 可增量更新 | Verbatim, verifiable mirror of the official Codex desktop app — probed every 15 min, with a Sparkle delta-upda…

ElectionGuard is a set of open source software components that can be used to create and publish end to end verifiable elections as well create a publishable artifact fo…

MobileGym: A Verifiable and Highly Parallel Simulation Platform for Mobile GUI Agent Research · 浏览器里运行的安卓模拟器 · Browser-hosted Android Simulator · Verifiable Evaluation ·…

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one p…

MPyC: Multiparty Computation in Python

MeteoInfo: GIS, scientific computation and visualization environment.

Generates structured Given/When/Then acceptance criteria for a user story or feature slice, covering the happy path, key failure scenarios, and non-functional expectatio…

Code-first patcher for exploring computation through audio and visual. Connect tools you know and code your own ✨

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

Otterbrix: computation framework for Semi-structured data processing

Hyli is a confidential yet verifiable financial settlement infrastructure for European regulated actors. It enables regulated institutions to settle, tokenize, and compl…

Compiling real-world structures into verifiable on-chain forms.

A Claude Code skill that bridges Claude Code to the Codex CLI: externalizes plan, files, conversation and conventions into an on-disk bundle, runs codex exec, validates…

Planning → verifiable goals → fresh-session implementation for AI coding agents. Based on mattpocock/skills v1.1.