HaltProof
Fail-closed deterministic checks and tamper-evident receipts for AI agent outputs.
Directory
Fail-closed deterministic checks and tamper-evident receipts for AI agent outputs.
Fills a PostgreSQL database with synthetic test data generated from its live schema, with every foreign key pointing at a row that exists. Plan, run and…
Visual plan approval for AI coding agents. See your agent's plan as an interactive graph, attach context, choose approaches, then approve before any code is…
Find and fix web accessibility (WCAG 2.2, ADA, Section 508, EAA, AODA) issues from your coding agent — scan any URL/HTML with 3 engines, framework-aware fixes…
Shows what your coding agent can do without asking you: every settings file that contributes permission rules, which one wins, what runs unattended, and the…
Live OS ground truth for agents: running agent sessions, listening TCP ports, loaded daemons and system load, read straight from the OS instead of stale docs…
Hosted shared memory for coding agents: what one connected agent learns, other connected agents can recall.
Turns an AI coding agent's session into a reviewable Intent Document: the problem, the assumptions, the rejected alternatives, and an anchored walkthrough of…
Free website, DNS, SSL and email-authentication checks from any AI agent. No account required.
Vaara is the tamper-evident runtime evidence layer for AI systems. It covers EU AI Act compliance, and any other case where you need to prove what an agent…
Drive the iOS Simulator from an AI agent: real HID gestures, token-efficient accessibility snapshots plus OCR, and deterministic replay flows for CI.
A directory of thousands pre-made cron jobs your agent can pull, tweak, and schedule.
Market-aware paid decision preflights before larger agent tool spend, helping agents decide what to buy, skip, or stop.
A deterministic scanner that audits your design system, scores it 0-100 against 34 public repos, and generates the agent rules that keep AI-written UI…
Agents make claims. Reelier writes receipts — record an agent's tool-call workflow once, replay it deterministically at 0 tokens, and diff runs to catch drift.
B.O.N.S.A.I. (Biologically-driven, Observationally-validated, Nutritionally-tested, Safe, Accessible, Integrative) is a health intelligence API built for the…
Dead code detection, security scanning, and code quality analysis for Python, TypeScript, and Go. 98% recall with 3x fewer false positives than Vulture. 5…
# Remote MCP Server on Cloudflare Let's get a remote MCP server up-and-running on Cloudflare Workers complete with OAuth login! ## Develop locally ```bash #…
# Building a Remote MCP Server on Cloudflare (Without Auth) This example allows you to deploy a remote MCP server that doesn't require authentication on…
# Building a Remote MCP Server on Cloudflare (Without Auth) This example allows you to deploy a remote MCP server that doesn't require authentication on…
 # MCP example Netlify Express **View this demo…
# WhatsApp MCP Server with Wati API This is a Model Context Protocol (MCP) server for WhatsApp using the Wati API. With this you can search and read your…
# GitHub MCP Server The GitHub MCP Server is a [Model Context Protocol (MCP)](https://modelcontextprotocol.io/introduction) server that provides seamless…
# GitHub MCP Server The GitHub MCP Server is a [Model Context Protocol (MCP)](https://modelcontextprotocol.io/introduction) server that provides seamless…