AI Agent Skills

🔬 Verifiable AI-Augmented Engineering Framework - Stop AI hallucinations with formal traceability (REQ→ART→TC). Agent Skills for Claude Code, Cursor, VS Code & Copilot.…

A cryptographically verifiable code review system for the cargo (Rust) package manager.

原样镜像官方 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…

MeteoInfo: GIS, scientific computation and visualization environment.

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.