l4-ide: L4 is a domain-specific programming language for law that treats legal rules as executable specifications. It provides a comprehensive toolchain including a compiler, IDE extension, REPL, and decision service. L4 enables formal verification, automated testing, and web app generation from legal specifications.; ninjaone-mcp: NinjaOne MCP Server connects AI assistants to the NinjaOne IT management platform via Model Context Protocol. It uses a hierarchical tool-loading architecture to expose device monitoring, patch management, scripting, ticketing, and alert management — loading only the relevant domain tools on demand to reduce context overhead. Supports one-click deployment to DigitalOcean and Cloudflare Workers.
Government regulatory compliance
Managing IT devices and running scripts through an AI assistant interface