verified-software

verified-3d-mesh-intersection

Lean

68

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

security-audit-skill

JavaScript

90

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

cynative

Go

77

Deep research for your infra. Cynative runs frontier models across your code, cloud and runtime - reasoning through GitHub, GitLab, AWS, GCP, Azure and Kubernetes as one system - and comes back with verified answers.

PerceptionBench

Python

73

PerceptionBench: Evaluating Atomic Visual Perception in Multimodal Large Language Models

shard

Python

77

Pipeline-parallel LLM inference across GPUs on separate machines.

klaatcode

TypeScript

77

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.