Records privacy-preserving receipts for AI-assisted tasks and enables optional onchain reward claiming via AIPOU tokens. Integrates with MCP-compatible clients like Claude and Cursor.
Verifies blockchain-anchored timestamp proofs entirely on the user's machine, with five tools: hash a file, verify a file against a proof, verify a known hash against inline proof data, explain what a proof asserts, and create a new proof through ProofLedger. Verification recomputes the SHA-256 and walks the Merkle path locally instead of asking the issuer; only create uses the network.
Provides two MCP servers: Variant Authority for managing component variant manifests and Radix Primitives for accessibility composition using Radix UI. Together they serve as the source of truth for design-to-code workflows.
Exposes design system component documentation to LLM clients via MCP, allowing listing and retrieving component contexts from Markdown files with YAML frontmatter.
MCP server that provides six verification tools (Lean proof checking, axiom audit, bound, gridlock check, certificate verification, residency check) with honest status reporting (ok/failed/unavailable) to prevent agents from claiming unchecked proofs passed.
An MCP server that scans React and Vue projects, extracts component metadata (props, slots, events, imports, usage), and exposes it to AI coding agents via structured tools.
This MCP server publishes commit-bound proof summaries to a specified HTTPS webhook, featuring fail-closed writes and a clear authority boundary for safe external actions.
Enables AI assistants to manage Proxmox VE infrastructure, including VMs, containers, storage, network, high availability, replication, SDN, and node administration.
Local macOS MCP servers for Mail, Calendar, Reminders, Notes, Contacts, Messages, Shortcuts, Files, Maps, and system tools. The unified Apple Tools server and individual app servers run over stdio with native macOS permissions; this is an MIT-licensed community project, unaffiliated with Apple.
Provides MCP tools to search, retrieve, and answer questions from the public Open Finance Brasil Confluence documentation using BM25-based local indexing.
MCP server that provides AI agents with personalized travel recommendations for members, enforcing partner-specific rules such as category exclusions, loyalty tier eligibility, and recommendation caps.
Provides AI coding assistants with on-demand access to component specs, test scenarios, accessibility requirements, and build guides from the Web UI Component Specification.
An MCP server that exposes a Svelte/SvelteKit project's component dependency graph over stdio, enabling AI coding assistants to query component imports, unused components, and route dependencies without an editor.
Enables LLMs to reason over TradingView market data with verified freshness, gap detection, and alert authentication so stale or forged readings are never presented as live.
Provides text, hashing, timestamp, math, base64, and UUID utilities for opencode, along with a professional web scraper capable of fetching pages, parsing DOM with jsdom, extracting structured data via DSL, and following pagination. Includes an installer CLI to automatically configure the server and slash-command plugin.