Stateful SageMath MCP server: 40 tools for symbolic math, algebra, number theory, graphs, plotting and claim verification. A persistent Sage session per...

Test any Model Context Protocol server and find out, in plain language, whether it is ready for your agents — and exactly what to fix if it is not.

Seatbelt is a model-agnostic harness for AI agents. It records what an agent did as a tamper-evident ledger you can verify and replay as a timeline.

MCP server exposing SSH control for Linux servers via Model Context Protocol.

Zero-auth cross-device clipboard sync with peer-to-peer file transfer

Official repository of the DedSec Project.

Elliptic-curve arithmetic and the schemes built on it, multi-curve, accelerated by libsecp256k1 on secp256k1

BIP39, SLIP39 and Electrum mnemonics, from the entropy up to the seed, and nothing of bitcoin above it

One source to rule them all: write agents, skills, rules, and hooks once, then sync them to your AI tools.

OpenPlanet Risk Intelligence is an open-source, high-resolution climate intelligence engine that translates global atmospheric datasets into hyper-local,...

A .NET library for event-driven, CQRS and event-sourced applications. Handlers, routing, read models and storage are wired by source generators at compile...