Skip to content

Tools Components Prompts Providers API keys Developers Docs

Explore

MCP servers and skills: search, filter by where they run, and compare.

Conduit

The open directory of tools for AI agents. Free to browse, honest about what runs where.

Catalog

Tools
Components
Prompts
Hosted tools
Local tools
Skills
Categories

Developers

List your project
Documentation
Public API
llms.txt

Account

Sign in
Dashboard

Conduit lists open-source projects by their authors. Listing is not an endorsement or a security review.

Privacy Termsv2026.10.17-114

No tools match “”.

↑↓ navigate openesc close

Home Tools Components Prompts

Explore tools · Conduit

Filters1ShowHide

More filters

Search the catalog

All
Local
Hosted

Local runs on your computer · Hosted is run by its author, you connect by URL

1–1 of 1 tool for “z3-smt-solver”

Writing Clear all

unicode-logic-kitfvossel
Local
Parse, translate, prove and model-check logic formulas in Unicode notation: first-order, modal, description and higher-order logic, one API over a dozen provers, and an MCP server
PythonMITFew starsNo key

Type

Everything
MCP servers
Skills

API key

Either
No key needed
Needs a key

Category

All categories
Developer tools
Databases
Browser & web
Search
Files & documents
Productivity
Communication
Cloud & infrastructure
Data & analytics
Design & media
Memory & knowledge
Utilities
Writing

What it is

Any
Skills (SKILL.md)
Subagents
Commands
Rules
Instructions

Written in

Any
Node.js (npx)
Python (uvx / pip)
Go
Docker

Newer or easy to miss

Everything
Created in the last 30 days
Added to Conduit this week
Few stars, complete information

Who stands behind it

Anyone
Official
Verified owner
Community

License type

Any type
Open source · permissive
Open source · weak copyleft
Open source · copyleft
Source-available
No licence
Proprietary
Hosted service
Licence not read yet

License

Any license
Apache-2.0
BSD-3-Clause
CC-BY-SA-4.0
FSL-1.1-ALv2
ISC
MIT
MIT AND Apache-2.0
MPL-2.0
Source-available
No license