Deterministic, file-anchored toolkit for AI-agent work — context you can query, rules you can enforce, state you can derive.
Agents
Designing, evaluating, and shipping autonomous AI agents.
7631 posts
Self-hosted lifecycle platform for software powered by Claude Code. Configurable pipelines, devices you control, no credentials on the serve...
Claude Code plugin that turns a PCB idea into a wired .kicad_pcb ready for EasyEDA auto-routing and one-click JLCPCB ordering — LCSC part so...
OASiS — an open-source multi-physics and multi-code framework for verified computer simulations. Model Context Protocol (MCP) server connect...
Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.
The brain for your LLM
SDKs, native clients, and apps for University of Tübingen study systems: Alma, ILIAS, Moodle, TIMMS, campus data, and student workflows.
Search, preview, and analyze datasets from 20+ platforms via a single MCP connector. Works with Claude instantly.
CEL Skills for authoring, testing, and debugging
OnIt is an AI agent framework for automation.
Command-line interface for Declaw — security-first sandboxing for AI agents
AxonFlow governance for OpenClaw agents — block dangerous tools, govern MCP access, and keep audit trails for production agent workflows