Stars
Make agents prove that their code is correct.
verification toolchain for TypeScript (Tech Preview)
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
Developer-friendly OSS embedded retrieval library for multimodal AI. Search More; Manage Less.
30 Agents Every AI Engineer Must Build, published by Packt
SysMD is a SysML v2/KerML tool with an intuitive, notebook-style interface that makes getting started easy. What truly sets SysMD apart is its integrated solver, enabling engineering calculations d…
This is the repo for a simple spec-driven workshop
Ralph loop + OpenSpec integration for Cursor, OpenCode and ClaudeCode heavy lifting.
OpenDST - Deterministic Simulation Testing for Java
The prototype tool of a JML generation technique (paper accepted in ICSE'25) for Java programs.
Verification-guided complete & correct formal specification synthesis.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
A DuckDB Community Extension to enable Behavioral Analytics, inspired by ClickHouse.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Spec-driven development (SDD) for AI coding assistants.
An MCP server that executes Python code in isolated rootless containers with optional MCP server proxying. Implementation of Anthropic's and Cloudflare's ideas for reducing MCP tool definitions con…
Paper: “MEMRL: SELF-EVOLVING AGENTS VIA RUNTIME REINFORCEMENT LEARNING ON EPISODIC MEMORY” Open-Source Code
My Ralph Wiggum setup, an autonomous bash script that runs Claude Code, Codex, OpenCode, Cursor agent, Qwen & Droid in a loop until your PRD is complete.
🚀 EvoAgentX: Building a Self-Evolving Ecosystem of AI Agents
A fast linearizability checker written in Go 🔎
A controlled concurrency testing framework for the JVM
Stop renting your intelligence. Own it with AnythingLLM. Everything you need for a powerful local-first agent experience