#ai-agents

Watch Skill

Video understanding and self-verification for AI agents. Turn videos, streams, and agent screen recordings into searchable, timestamped evid...

Chiasmus

Chiasmus is an MCP server that gives language models access to formal verification

Boring Computers

On-demand Linux computers you can hand to an AI — real Firecracker microVMs with a browser, terminal, coding agents, and an AI that drives t...

Openapi

OpenAPI spec, SDKs (TypeScript, Python, Go, Kotlin, Swift, C#), CLI, n8n node, and AI agent skills (MCP-ready) for Pachca API

Graphenium

Local pre-flight linter and architecture gate for AI agents. Uses tree-sitter, Stack Graphs, and Datalog to mechanically block structural dr...

Carmenta

A heart-centered AI for creating at the speed of thought

Sqlew

Extended Memory Layer of Coding AI

Soat

SOAT is an open-source framework designed to provide persistent memory capabilities for autonomous AI agents.

Javalens MCP

MCP server providing semantic Java code analysis for AI agents. Built on Eclipse JDT with tools for navigation, refactoring, search, and met...

ClawMem

On-device memory layer for AI agents. Claude Code, Hermes and OpenClaw. Hooks + MCP server + hybrid RAG search.

GatewayStack

See, price, and control every AI agent tool call. MIT open core of Agentic Control Plane — identity, policy, limits, routing, PII redaction,...

MemWhale

MemoryWhale is a Rust/Tauri local-first terminal memory system that records commands, arguments, logs, sessions, errors, bookmarks, and debu...