Lists (10)
Stars
OpenAI's Codex Security CLI and TypeScript SDK for finding, validating, and fixing security vulnerabilities. npm: https://www.npmjs.com/package/@openai/codex-security
AI Skills for Antithesis Users
Stealth Chromium that passes every bot detection test. Drop-in Playwright replacement with source-level fingerprint patches. 30/30 tests passed.
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.
ngernest / chamelean
Forked from thanhnguyen-aws/plausibleProperty-based testing for Lean via metaprogramming
AI agents running research on single-GPU nanochat training automatically
Collection of publicly available IPTV channels from all over the world
A toolkit of quantum utilities and algorithms built on top of myQLM's QAT framework.
Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.
IronClaw is an Agent OS focused on privacy, security and extensibility
Fast, small, and fully autonomous AI personal assistant infrastructure, any OS, any platform — deploy anywhere, swap anything 🦀
cliamp - Terminal music player inspired by winamp
Research code base for Automatic Textbook Formalization
MathCode: A Frontier Mathematical Coding Agent
Automated Theorem Prover inspired by Aletheia. Claude Code for mathematicians.
A verifier for automated and interactive proofs about transition systems.
A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.
omo/lazycodex: The coding agent for tokenmaxxers;the one and only agent harness for complex codebases. For your Codex, for your OpenCode
Teams-first Multi-agent orchestration for Claude Code
Beads - A memory upgrade for your coding agent
Stateful agents that are like people, with memory, identity, and the ability to learn and adapt
Let your AI go full send. Your home directory stays home.