shikamaru
Verified · todayProvably correct day-count, calendar, business-day, and schedule math, verified against QuantLib.
Provably correct day-count, calendar, business-day, and schedule math, verified against QuantLib.
Structured thinking + steel-manning verification for AI agents. Backed by 43+ papers.
Receipt-based verification for AI agent workflows — create, verify, and poll ephemeral proof objects
MCP server for Gainium — manage trading bots, deals, and balances via AI assistants
Create free invoices from your AI assistant via a pre-filled blankinvoicemaker.com link.
53-tool MCP server for Sui blockchain — wallets, DeFi, Move contracts, staking, SuiNS, analytics
Universal AI coding assistant memory — session handoff, SLM compression, and semantic retrieval.
Agent payments, API key vaulting, and governed mandates. Agents spend within user-defined limits.
Connect Claude to Microsoft Teams — read/send messages, list channels, search chats.
Discover, shortlist, compare, cost-model, and live-test 300+ AI models from your editor
Generate A+ prompts for ChatGPT, Claude, Midjourney — built for agents & workflows.
Model Context Protocol server for Retain: let AI agents query churn risk and act on retention.
Extract shoppable ingredients from recipe content with affiliate signals.
Free Memory-First AI Operator course as an MCP server. Bundled curriculum, no account needed.
MCP server bridging AI assistants to Moonshot AI Kimi Code CLI for code analysis and review
Connect AI agents to bank accounts, transactions, balances, and investments.
MCP server for Interswitch APIs: payments, transfers, Verve cards, airtime, and paycodes.
Inspect, operate, and author Microsoft Power Automate cloud flows from an agent context.
聚合55+平台热门榜单数据的AI工具,支持微博、知乎、B站、GitHub等平台。适用于LLM/RAG场景。
Find and analyze influencers with creator search, lookalikes, profiles, posts, and transcripts.