Show HN: Verifiable Interaction Records for Agents
PEAC standard for cryptographically verifiable interaction records of AI agents, including policy files, signed receipts, and offline verification bundles.
PEAC standard for cryptographically verifiable interaction records of AI agents, including policy files, signed receipts, and offline verification bundles.
Open-source middleware for defining and verifying software behavioral commitments through a DSL, ensuring promised constraints are kept.
Essay on system design limitations in AI applications, discussing input paradox and engineering challenges beyond model capabilities.
Tool and README badge enabling developers to discover related open source repositories for finding alternatives or complementary packages.
Prototype implementing write barriers to prevent LLM reasoning from collapsing structured intermediate forms into scalars during multi-step tasks.
Article about avoiding a 10x inference performance penalty, details not provided in excerpt.
Aside is a ~5MB Rust binary for local meeting recording and AI-native transcription workflow integrated with Obsidian vault, no cloud uploads.
Kai is a macOS native fully autonomous AI agent application.
Migration case study: switching elderly care AI application from Qwen 3 to 3.5 on Apple Silicon achieved 14x latency improvement.
Open-source MCP permission proxy gateway for granular AI agent access control to external services. Addresses security gaps in agent tooling.
Diagnostic tool for validating Cursor IDE rule configuration. Identifies YAML errors and glob mismatches preventing rule execution.
Tool for automating coding agent workflows. Limited content on specific technical approach.
Discussion questioning why AI presentation/CV tools use templates when LLMs are capable of generating and modifying raw HTML/CSS directly.
Georgi Gerganov and GGML/llama.cpp team joining Hugging Face. Major development for open-source local AI infrastructure.
Cekura (YC F24) provides testing and monitoring infrastructure for voice and chat AI agents through simulation, prompt testing, and regression detection.
Blindfold: PII protection tool for LLM applications using local regex and cloud NLP redaction.
Pricore: Self-hosted private Composer registry for PHP packages with webhook-driven updates, alternative to Satis and SaaS solutions.
Terminal log viewer with built-in MCP server enabling AI analysis of logs.
MemoryLane: Desktop app capturing screen activity as summaries, integrating via MCP into AI chats for context-aware assistance.
WebAuthn co-signing system for MCP tool calls ensuring cryptographic proof of human authorization for AI agent actions, addressing compliance and audit needs.
Terminal UI tool for orchestrating multiple parallel coding agents (Claude, Codex, Gemini) with unified dashboard for routing and monitoring via tmux.
LLM API gateway that routes simple tasks to cheaper models using a classifier, reducing API costs by intelligently selecting which model to use.
AI agent-based personal finance assistant using Claude/Codex with Python environment for custom calculations, visualizations, and spending simulations.
Research showing LLMs can unmask pseudonymous users at scale with high accuracy, privacy implications for LLM applications.
Corepoints: platform for screening candidate AI proficiency at scale with metrics on hallucinations, prompting quality, and token usage.
VellaVeto: Runtime security proxy for AI agent MCP tool calls. Enforces policies on paths/domains/actions with <5ms latency and 20+ threat detection layers using formal verification.
TypeScript SDK that standardizes webhook signature verification across 20+ providers (Stripe, Clerk, Shopify, etc.) with support for Express, Next.js, and Cloudflare Workers.
Axe: CLI tool for running single-purpose LLM agents from command line.
CLI tool for sandboxed execution of AI agents in microVM environments.
Reverse-engineered method for training neural networks directly on Apple Neural Engine via private APIs without CoreML, Metal, or GPU.
ACCESSIBILITY.md is an open format for documenting project accessibility posture and automation, designed for discovery by humans and AI coding agents.
Incomplete Show HN post about AI agents building task management application.
AI-native development environment manager virtualizing Git branches for concurrent human-AI agent collaboration.
NBER paper analyzing knowledge collapse risk in AI systems, argues for overlapping generations model to prevent degradation.
Open protocol for cryptographic verification of human authorization in AI agent actions, local-first and offline-capable.
Framework bridging software engineering and agentic AI, moving beyond prompt engineering to deterministic system integration.
Open-source persistent agent framework for Claude enabling multi-session memory, autonomous jobs, and self-correcting behavior.
FetchPrompt is a prompt management platform for versioning, testing, and fetching LLM prompts at runtime via REST API without code redeployment.
Open-source YAML-first AI agent runtime with policies, cost tracking, observability, and governance for production workloads.
Proxy service that compresses prompts to reduce LLM API costs by 40-60% without modifying LLM behavior.
Honeycake embeds encryption, access policies, and audit trails into files themselves to protect data moved by AI agents across workflows without explicit approval.
PrivacyShield is a Chrome extension that detects 15+ PII types and masks them before sending to ChatGPT/Claude, running entirely locally with no server backend.
Learnprints is a learning OS built solo that combines structure with AI chatbots to improve knowledge retention over traditional tools like Anki or Notion.
Discussion thread asking how agencies should price projects when AI tools increase productivity but add API/compute costs. Community Q&A, no technical content.
FreshContext is an MCP server that timestamps web extractions for AI agents, addressing hallucination about data recency with retrieved_at and freshness_confidence metadata.
Evidra is a fail-closed MCP guardrail tool for AI infrastructure operations. Provides safety controls for AI agent deployments.
CLI tool that reduces noise in command output by up to 90%, optimizing token usage for AI agents.
ReleasAI converts git commit logs into polished release notes using Groq's LLM, supporting multiple formats (GitHub, npm, Slack) with no signup required.
AI slide generation tool offering layout flexibility and customization beyond template-based competitors.
Agent-native cloud OS with persistent autonomous agents handling business tasks via integrations with SaaS ecosystem.