Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.
MCP
Model Context Protocol — servers, clients, and integrations.
8264 posts
Track your AI coding sessions with privacy-first analytics
Debug Java like an agent: persistent runtime sessions, safe JDI inspection, jdb fallback, and MCP/CLI control.
APEX defines how AI agents communicate with brokers, exchanges, dealers, and other execution venues. One protocol. Realtime state. Autonomou...
MCP server for Bitget Wallet DEX aggregator — token info, swap quotes, calldata generation, and transaction submission across 10+ chains.
A modern, Fluent WinUI 3 reimagining of Windows Task Scheduler, with natural-language task creation and a local MCP server for AI agents.
curl for x402 and MPP paid APIs. CLI + MCP proxy that auto-pays any endpoint on Base, Solana, and Tempo. Zero crypto code on the buyer side.
MCP Tools for Unity Cinemachine — author and edit virtual cameras with AI.
Spec-driven development plugin for Claude Code. SpecManager gives you an agile AI team that takes a feature from interview → PRD → Architect...
Complete security layer for OpenClaw - CLI Scanner + Live Dashboard. Secrets detection, config hardening, prompt injection scanning, MCP ser...
Markdown-native websites. HTML for humans, Markdown for agents. Zero build.
Reverse proxy in front of firecrawl-mcp that rotates Firecrawl API keys on 402/429/401/403, rewrites crawl next URLs, and exposes /healthz +...