verified-software

verified-3d-mesh-intersection

Lean

73

Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

security-audit-skill

JavaScript

85

A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings

scroll-craft

JavaScript

85

Claude Code skill for premium scroll-driven websites. Scroll becomes the timeline, on a real design floor, verified by screenshotting its own scroll.

PerceptionBench

Python

68

PerceptionBench: Evaluating Atomic Visual Perception in Multimodal Large Language Models

shard

Python

72

Pipeline-parallel LLM inference across GPUs on separate machines.

cynative

Go

77

Build your own security agents. Open-source framework for agents with live, read-only access to your infrastructure, with no path to widen it. Reasons across AWS, GCP, Azure, Kubernetes, GitHub and GitLab as one system.

klaatcode

TypeScript

85

Open-source AI coding agent for the terminal. Claude Code-grade accuracy with smart model routing — uses the right AI model for each task, cutting costs 10x. Supports Claude, GPT, Gemini, DeepSeek & more.