An Elixir-based MCP (Model Context Protocol) server that provides symbolic mathematics capabilities using SymPy.
Solve complex algebraic equations, simplify expressions, and perform calculus operations effortlessly. Verify the validity of propositional logic formulas to ensure sound reasoning and accuracy. Perfo
Comprehensive Kaspa blockchain development toolkit for building transactions, integrating wallets, creating dApps, block explorers, and interacting with the Kaspa network. Use when working with Kaspa
--- name: context-verifier version: 1.5.1 description: Know the file you're editing is the file you think it is — verify integrity before you act author: Live Neon <contact@liveneon.dev> homepage: h