12 packages found
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
MCP server for token-efficient large document analysis via the use of REPL state
A simple MCP server that exposes datetime information to agentic systems and chat REPLs
A high-performance Model Context Protocol (MCP) server for Trino implemented in Go.
Connect your chat repl to wolfram alpha computational intelligence
MCP server connecting AI agents to ITASCA PFC — run DEM simulations through natural conversation
Local filesystem MCP server with 43 tools: safe delete, process management, interactive sessions, async search, OCR, ZIP
Email, SMS & phone-call infrastructure for AI agents — send and receive real email and text messages, and place agent-dr
Verified knowledge for AI agents. Compress context, extract and store facts, define rules, and ask questions — get dete
Traffic light for AI Agents and TypeScript/Node multi-agent orchestrator with shared state, guardrails, and adapters for
Local cognitive infrastructure for AI coding agents — semantic memory, repository intelligence, and MCP tools to reduce
Open-source AI agent orchestration platform — self-hosted mission control for autonomous multi-agent systems. Visual DAG