AI tool

AI-native workspace for writers, bloggers, and lifelong learners. It combines source collection, an idea map, AI-assisted exploration, and a focused writing editor designed to support long-form thinking.

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 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.

Extend AI turns a spoken or rough written idea into posts that match the user’s own voice across LinkedIn, X, Instagram, and more.

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.

Open-source Python DDoS traffic monitor that prints live traffic stats to stdout and can output JSON for pipelines and tooling.

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.

iOS app for local, offline Stable Diffusion image generation on iPhone and iPad, with private prompts and images stored on-device.

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.

OpenClaw is a self-hosted personal AI assistant that runs on your own devices and connects to many messaging channels, with CLI-based setup and onboarding.

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.

An interactive choose-your-own-adventure that explores 28 possible AI futures through branching questions and personalized vignettes.

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

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.

Agentize is a Claude Code-oriented framework for assessing and improving how ready a codebase is for AI agents. It includes two maturity models, runnable assessment and improvement commands, and installable skills for project or personal use.

An open-source Claude Code skill set for academic research, covering research, writing, review, revision, and finalization. It includes guided workflows, installation steps, and pipeline documentation for researchers using AI in a human-in-the-loop process.

UltraCompress is a Python-based compression tool for large language models. The repo describes lossless 5-bit transformer compression, verification via SHA-256, a CLI on PyPI, and published model packs on Hugging Face.

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.

AI assistant for chatting with PDFs, helping users edit, fill, and understand forms step by step. The demo page shows a loaded IRS W-9 and supports guided form-filling 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.