claude

z39

Z3-powered reasoning for AI agents. Verifiable yes/no answers for scheduling, boolean logic, configuration, and action safety via SMT solving.

0 on GitHubby Alejandro QuintanarApache-2.0updated 6 months agotools
/

Plugin z39 from marketplace aquintanar-marketplace in alejandroqh/marketplace. Commands read from the repo's manifest — 1 month ago.

What it installs

No skills, commands, agents, hooks or MCP servers were found in the standard plugin folders.

View source on GitHub

More from alejandroqh/marketplace

All 6 plugins →

browser39

claude

Headless web browser for AI agents. Fetches pages as token-optimized markdown with JS support, forms, cookies, storage, and web search.

0

memory39

claude

Temporal-priority memory system for AI agents. Store and recall events, facts, people, and places with intelligent scoring (relevance + importance + recency).

0

npcterm

claude

Headless, in-memory terminal emulator for AI agents. Full ANSI/VT100 emulation with PTY spawning.

0

repo39

claude

Token-optimized repository explorer for AI agents. Directory trees, symbol maps, dependency parsing, git diffs, and content search.

0

sudo39

claude

Guarded privilege-elevation MCP server for AI agents. Run commands via sudo, pkexec, macOS admin prompt, or Windows UAC, gated by an allowlist policy.

0

Similar plugins

superpowers

claudecodex

Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques

15 skills · hooks

obra/superpowers 316,836

CMEM Pro

claude

CMEM Pro for the Claude app - hooks stream tool use to cmem.ai and inject observations into new sessions and agents

3 skills · 1 MCP server · hooks

thedotmack/claude-mem 116,618

context7

claudecodex

Up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.

1 MCP server

upstash/context7 64,709

mempalace

claudecodex

AI memory system — mine projects and conversations into a searchable palace. 47 MCP tools, auto-save hooks, guided setup.

3 skills · 6 commands · 1 MCP server · hooks

MemPalace/mempalace 60,536

Use Alibaba Open Code Review from local Codex.

2 skills

alibaba/open-code-review 50,068

slidev

claude

Claude Code skill for creating and presenting Slidev slidedecks

1 skill

slidevjs/slidev 49,452

Maintain z39?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex plugins6 plugins