Developer Tools AI Tools

Jo is a secure programming language designed to help catch prompt injection and other unsafe behavior at compile time by enforcing explicit capability boundaries. The repository shows the language’s security model, code examples, installation flow, and current project status.

A Python filter layer for LLM apps that evaluates responses against a Lean-verified Scherf logic backend and can pass, flag, correct, or block output.

A local Go tool that turns encrypted iOS WhatsApp backups into a searchable workspace for AI agents, with OCR, transcription, and SQLite/FTS5 indexing.

A Git-native CLI task ledger for coordinating work between humans and coding agents, with task claiming, notes, releases, handoffs, and audit history stored in files and versioned in Git.

Peers is a Python-based multi-agent coding substrate that coordinates Claude Code, Codex, and other CLIs to work together on coding, research, debugging, and repo audits with measurable convergence checks.

Open-source Claude Code plugin and skill for saving a compact handoff before hitting rate, usage, or context limits, then resuming in a new session without replaying the full transcript.

Rust CLI that uses OpenAI Realtime voice input to orchestrate concurrent background coding agents, including Claude Code and Codex CLI, with slug-based task tracking and progress updates.

Chrome extension that extracts AI-generated HTML from ChatGPT, Claude, and Gemini, then previews, downloads, or publishes it to targets like Netlify, GitHub, FTP, or a self-hosted agent.

A PyTorch reference implementation of DeepSeek Sparse Attention from the LLMs-from-scratch project, including a lightweight indexer, top-K token selection, and a GPT-style model with KV-cache support.

A Mojo port of the Pi AI Agent Toolkit with a set of runnable examples for chat, coding agents, tool calling, web research, and long-running agent loops.

A Claude skill and companion repo for spec-driven development: it generates requirements, design, and task files before code is written, and extends the same workflow across Claude Code, Cursor, Windsurf, Copilot, and Aider.

A survey of eight tools that sit between AI agents and the services they call, covering credential injection, interception, policy enforcement, and mocking/testing. The page explains what each tool is for, where it fits, and what to watch out for.

A weekly security audit of Atlassian’s remote MCP server, focused on OAuth 2.1, RFC 9728 discovery, PKCE, DCR, and token handling. The page documents why the server’s discovery chain fails and includes HTTP evidence links.

A Rust-based CLI that fetches web pages, strips page chrome, and outputs readable Markdown for AI agents and shell workflows.

MagesticAI is an open-source, browser-based platform for managing AI coding tasks with multi-agent orchestration, task boards, terminal access, and code review. The README shows installation steps, Docker deployment, supported platforms, and a concrete local setup path.

Permission-first CLAUDE.md and agent stack for Claude Code and Google Antigravity, with 10 agents, 28 skills, and one-command installation.

relaxAI is a UK sovereign LLM inference API with OpenAI-compatible endpoints and official SDKs for Python, TypeScript, and Go. The docs page covers installation, REST usage, and links into models, pricing, authentication, and endpoint sections.

A walkthrough for building and deploying an AI agent on Truuze with the AaaS dashboard, including setup, testing, connector configuration, and the platform’s escrow-based transaction flow.

A Mac menu bar app that schedules Claude Code prompts to run later on the user’s Mac, using local files, skills, and CLI tools. Results post back when the job runs.

Gread is a Skill and MCP server that gives coding agents access to the source code and docs of public GitHub repositories, with support for both skill-based and MCP client integrations.

Local-first long-term memory engine for AI agents with MCP, HTTP API, CLI, and Python usage. The page shows installation paths, IDE integrations, ingestion sources, and a live feature set focused on durable context, retrieval, and privacy.

A Docker-based sandbox for running AI coding agents with dropped capabilities, no-new-privileges, and no Docker socket access. It wraps the pi terminal coding agent and supports local file edits, persistent auth, and skills mounts.

CacheCore is an agent infrastructure tool that sits between LLM clients and the API to cache exact and near-identical prompts, cutting repeat calls and latency. The page shows OpenAI-compatible integration, support for common agent frameworks, and use cases for RAG and multi-agent workflows.

An autonomous neuro-symbolic formal verification engine for Lean 4. The repository describes a proof workflow that generates tactics and then checks them deterministically in Lean, with example proofs, verification steps, and telemetry outputs.