14 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
Verified knowledge for AI agents. Compress context, extract and store facts, define rules, and ask questions — get dete
MCP server connecting AI agents to ITASCA PFC — run DEM simulations through natural conversation
omo/lazycodex: The coding agent for tokenmaxxers;the one and only agent harness for complex codebases. For your Codex, f
Traffic light for AI Agents and TypeScript/Node multi-agent orchestrator with shared state, guardrails, and adapters for
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
Decentralized AI-to-AI communication — Let Claude Code, Codex, and OpenCode talk to each other. Local, LAN, or across th
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