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.

🦄 Modern Org Style

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

tmux source code

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.

Research agents harness

A native elisp coding agent running in Emacs

Dolt – Git for Data

Design doc, RFC, and task tracking system for humans + agents based on emacs org-mode

Connect Pi Agent Harness to Telegram

Fast, small, and fully autonomous AI personal assistant infrastructure, ANY OS, ANY PLATFORM — deploy anywhere, swap anything 🦀

A Simple and Universal Swarm Intelligence Engine, Predicting Anything. 简洁通用的群体智能引擎，预测万物

Monitor anything in real time

🧜‍♀️ Pi extension that renders Mermaid diagrams as ASCII in the TUI, with width-aware output and safe handling for larger diagrams.

A command-line power tool for Twitter.

An AI assistant that lives in your browser. Built for collaboration, not autonomy theater. You guide, it executes. Automate repetitive web tasks, extract data from any website, and transform it int…