MCP

Totem

Deterministic, file-anchored toolkit for AI-agent work — context you can query, rules you can enforce, state you can derive.

Forge

Self-hosted lifecycle platform for software powered by Claude Code. Configurable pipelines, devices you control, no credentials on the serve...

Kicad Jlcpcb

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...

CLI Tools

사람과 에이전트를 위한 한국 법령·판례·행정규칙·자치법규 조회 CLI·MCP 도구

OASiS

OASiS — an open-source multi-physics and multi-code framework for verified computer simulations. Model Context Protocol (MCP) server connect...

LeanProbe

Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.

Octobrain

The brain for your LLM

Tue API Wrapper

SDKs, native clients, and apps for University of Tübingen study systems: Alma, ILIAS, Moodle, TIMMS, campus data, and student workflows.

Mobus

Search, preview, and analyze datasets from 20+ platforms via a single MCP connector. Works with Claude instantly.

SeedanceMCP

MCP server for ByteDance Seedance video generation via Ace Data Cloud.

Onit

OnIt is an AI agent framework for automation.

Declaw CLI

Command-line interface for Declaw — security-first sandboxing for AI agents