Lists (2)
Stars
Claude agent sdk as a provider for pi
This repository allows reproduction of Poetiq's record-breaking submission to the ARC-AGI-1 and ARC-AGI-2 benchmarks.
pi coding agent - auto dark/light theme extension
Simple Hotkey Daemon for macOS, ported from skhd by koekeishiya
FinRL-X: An AI-Native Modular Infrastructure for Quantitative Trading
Scan for secrets in files you plan to share
Pi coding agent extension that allows Pi to autonomously control interactive CLIs in an observable overlay. Full PTY emulation, no tmux, token efficient. User can take over anytime.
Low-level unprivileged sandboxing tool used by Flatpak and similar projects
A fork of Nautilus Trader with custom Polymarket and Kalshi adapters for backtesting
ValueCell is a community-driven, multi-agent platform for financial applications.
Terminal UI for RSVP speed reading of Markdown and EPUB files
The Python toolkit for computing with string diagrams.
Skills, MCP servers, Custom Agents, Agents.md for SDKs to ground Coding Agents
A powerful meta-prompting, context engineering and spec-driven development system that enables agents to work for long periods of time autonomously without losing track of the big picture
This folder contains the coq formalization of double-sided auctions with multiplicity (dsam). DSA is used in the financial markets by exchanges for trading between multiple buyers with multiple sel…
Test your prompts, agents, and RAGs. Red teaming/pentesting/vulnerability scanning for AI. Compare performance of GPT, Claude, Gemini, Llama, and more. Simple declarative configs with command line …
Review-first terminal diff viewer for agentic coders
AI tools for building on Uniswap — skills, plugins, and agents for any coding agent.
A native elisp coding agent running in Emacs
Design doc, RFC, and task tracking system for humans + agents based on emacs org-mode
Fast, small, and fully autonomous AI personal assistant infrastructure, ANY OS, ANY PLATFORM — deploy anywhere, swap anything 🦀