Plugin marketplace
Singularity-Agent — a universal, read-only blockchain client for Claude Code.
Add this marketplace
Then install any plugin below by name — each page has its exact command.
Universal blockchain client for EVM, Solana, Bitcoin and Cosmos. Read-only: resolves addresses and names, reads balances and transactions, decodes calldata, and builds unsigned transactions for you to sign in your own wallet. Holds no keys.
2 MCP servers
Quantum agentic systems over MCP: IBM Quantum backends and calibration, circuits classified by what their results could ever prove, cost estimates and local simulation. Never submits jobs or spends QPU time.
1 MCP server
Lean 4 proof checking linked to the lean-worker prover: kernel-check Lean and report the axioms a theorem rests on, call a prover node and verify its signed certificate, and seal or open Kant zk-relay envelopes. Runs the Lean compiler locally; never posts to the relay on its own.
1 MCP server
Shows how many plugins this repo ships, and links here.