Lists (10)
Stars
A self-improving RLM agent for coding workflows and long-running autonomous tasks.
OpenAI's Codex Security CLI and TypeScript SDK for finding, validating, and fixing security vulnerabilities. npm: https://www.npmjs.com/package/@openai/codex-security
Stealth Chromium that passes every bot detection test. Drop-in Playwright replacement with source-level fingerprint patches. 50+ 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 🦀
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: Just type "mass ulw" keyword with your prompt. Now you are the master of graph engineering.
Teams-first Multi-agent orchestration for Claude Code
Beads - A memory upgrade for your coding agent
Agents that self-improve with experience