— · MIT License
Deterministic Unit-Record Memory Engine for AI coding agents. Eliminates context-window amnesia and compaction bloat via zero-turn workspace hydration, byte-exact registers, and live context telemetry.
— · MIT License
Enables Claude to search and read an organization's internal documents (Word, PDF, HTML, Markdown) through hybrid BM25 + vector retrieval, returning answers with exact citations while enforcing server-fixed role permissions, hiding confidential and superseded content, and logging the token cost of every request.
— · MIT License
Lets Claude Code sign in through Microsoft Entra ID and call infrastructure tools, while privileged actions stay blocked until a human approves that exact request on a web page. Grants are bound to the user, tool, and arguments, expire automatically, and can be revoked, so a valid token alone never grants standing access to production changes.
— · MIT License
MCP server for Qut Pay (qut.kz): create Kaspi QR / Kaspi link invoices for Kazakhstan merchants, check status, list, cancel, refund (live needs confirm) and simulate payments in sandbox. 9 tools, 5 doc resources, 2 prompts. npm: npx -y @qutpay/mcp with QUTPAY_API_KEY. Source in examples/mcp. Independent service, not affiliated with Kaspi Bank.
— · BSD 3-Clause
Enables AI agents to write, compose, and check assume-guarantee contracts, including refinement, consistency, compatibility, realizability, and LTL checks, and to use returned counterexamples to fix specifications.
— · MIT License
Enables MCP clients to control KakaoTalk PC through the Win32 API, sending, mentioning, and reading messages, opening chat rooms, sending images, extracting shared links, and monitoring rooms for keywords. It supports health checks, bulk sends to multiple rooms, and exact room-name matching for reliable automation.
— · Apache 2.0
Enables Alexa+ to turn natural-language household goals into context-aware, confirmation-gated plans, execute them, and verify that devices actually reached the intended state.