MCP servers and skills: search, filter by where they run, and compare.
1–24 of 172 tools for “effect-system”
Clear allA programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM via MCP.
Node.jsMIT★ 13No key
SkillApache-2.0★ 7No key
A typed language for LLM agent systems on BEAM: effect-row tracking, auditable tool effects, typed actors, and OTP supervision, queryable by agents over MCP.
SkillApache-2.0★ 4Few starsNo key
SkillApache-2.0★ 7No key
A language for safe, universal spatiotemporal composability (Cordis paradigm) and orchestration.
PythonAGPL-3.0★ 8No key
TypeScript slice of candor-spec — the derivability proof: written from the spec alone, 20/20 on the shared conformance oracle.
Node.jsApache-2.0★ 1Few starsNo key
Sports team management system with Discord-first architecture. Built with Effect-TS.
SkillMIT★ 4Few starsNo key
The Deed programming language. Built for code that agents write and humans review.
SkillApache-2.0★ 9No key
Run code an AI wrote without handing it everything you can reach. Each function declares what it may touch. You grant the run one folder, one host or a number of calls, and the runtime refuses anythin
PythonMIT★ 4Few starsNo key
A markdown task tracker with a terminal UI for humans and a CLI for agents.
SkillApache-2.0★ 2Few starsNo key
The scripting language of AI agents: the agent writes it, you review it at a glance, and the program can only do what it declares.
SkillApache-2.0★ 3Few starsNo key
An AI-native semantic operating environment: a local-first, immutable typed world graph whose transaction language is AILANG. Agents propose, deterministic verification commits, humans govern.
GoApache-2.0★ 1Few starsNo key
Perform a systematic diagnostic scan of an AI workflow across 5 quality dimensions — prompt quality, context efficiency, tool health, architecture fitness, and safety — producing a scored report with
OfficialSkillMIT★ 40k in collectionNo key
Investigate a specific issue report with strict, evidence-driven diagnosis.
OfficialSkillApache-2.0★ 5.6k in collectionNo key
Operate NVIDIA DOCA Management Service (`dmsd` + `dmspe`) on a BlueField, Arm/x86 host, or Kubernetes pod: choose deployment and authentication, configure `-allowed_users` and `dmsgroup`, use gNMI Get
OfficialSkillApache-2.0★ 3.6k in collectionNo key
For EHRs, payer portals, and any app your team clicks through. A person or an agent shows the task; OpenAdapt turns it into a local program that repeats the steps with no model calls, checks each save
PythonMIT★ 1.8kNo key
A comprehensive logo-design skill for Claude, Gemini CLI, Codex and other AI agents: principles, process, SVG craft, testing tools and a 1,400+ logo reference library.
SkillMIT★ 3.9kNo key
A Model Context Protocol (MCP) server for OpenSCAD 3D modeling and rendering
PythonMIT★ 159No key
An epistemic systems language for scientific computing — uncertainty, units and effects, with a self-hosted compiler and libraries spanning physics, pharmacology and quantum computing.
PythonApache-2.0★ 12No key
A Python framework for modular, self-contained skill management for machines.
SkillMIT★ 161No key
Who stands behind it
