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.
Plugin singularity-lean-agent from marketplace singularity in DarkStarMatters/Singularity-Agent. Commands read from the repo's manifest — 1 month ago.
This plugin runs code on your machine — it starts local MCP servers. The exact commands are listed below; read them before installing.
singularity-leanruns: node ${CLAUDE_PLUGIN_ROOT}/dist/mcp.bundle.js
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
Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques
15 skills · hooks
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
Build powerful, stateful CLI interfaces for any GUI application using the cli-anything harness methodology.
5 commands
Automates browser interactions for web testing, form filling, screenshots, and data extraction
12 skills
Use Alibaba Open Code Review from local Codex.
2 skills
Claude Code skill for creating and presenting Slidev slidedecks
1 skill
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.