ToolSeal v0.1
A lockfile for MCP server capabilities
What it does
ToolSeal is a lockfile for MCP server capabilities. It fingerprints declared tools and schemas, stores them in toolseal.lock, and fails with a readable diff when capabilities drift. Use it locally or in CI before accepting a changed MCP declaration.
A lockfile for MCP server capabilities. Contribute to tuan908/toolseal development by creating an account on GitHub.
ToolSeal fingerprints an MCP server's declared tool catalog and detects capability drift before a client accepts a changed declaration. ToolSeal v0.1 works from a saved MCP tools/list catalog. Live MCP transport is intentionally deferred until the lockfile and verification workflow are stable. cargo install --git https://github.com/tuan908/toolseal --tag v0.1.0 toolseal --version Or from a clone: cargo install --path . Quickstart toolseal lock examples/catalog.json toolseal verify examples/catalog.json The second command should report: toolseal verify examples/changed-catalog.json ToolSeal exits with status 2 for capability drift and reports: toolseal inspect examples/catalog.json Show only…from github.com
Does the same job
all alternatives →
- MSMCP Server for Document Processing via Natural Language2025 · github.com · ▲8
Hey, I'm Nick from Nutrient, I want to share our newly released MCP Server that enables document workflows using natural language — things like redacting, merging, signing, converting formats, or extracting data. While many MCP servers have traditionally been developer-focused, we recognized that the technology could be highly effective in promoting the adoption of tools that are often hidden from end-user interfaces. We’re really interested to see if this side of the protocol could continue to mature. One thing we struggled with was the inability to receive documents from the client (no…
More ai this month
the category →
I trained a 125M-parameter transformer to autocomplete piano performances in real time (~108 notes/sec on an iPhone 15). The idea is basically GitHub Copilot or Tabnine, except instead of prompting it with code, you prompt it by playing a few notes on a MIDI piano. The model then continues what you played, entirely on-device. The app is free if anyone wants to try it. Happy to answer questions about the model, training, Core ML, or the many things that didn't work.
AI · 17d ago · simedw.com
Astute▲585Automate your B2B brand going viral, with new media creators
AI · 18d ago · company-app.joinastute.com
Hey HN, Henry from Cactus here! We previously released Cactus Needle, a 14MB agentic LLM for tool call, device use, and structured extraction for phones, wearables, smart homes, small robots and microcontrollers. We got really great feedback here, and have now incorporated the suggestions to release Needle 2. The whole model is a single 14MB binary that runs a full session in 28MB of RAM; 45m parameters at 2bit compression. Needle hits 500 tokens/sec decode speed on a Raspberry Pi 5, sits between 400-1,500 tokens/sec on VR devices like Meta Quest 3S and Apple Vision Pro, and ranges…
AI · 26d ago · cactuscompute.com
Launched alongside, September 2026
the whole month →
OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.
Dev tools · 1d ago · opentrailpaper.com
Run Qwen3.8-Flash-Next (125B MoE, 104 GB at 4-bit) on Macs with a fraction of that RAM by streaming experts from SSD. MLX + Swift, Ollama-compatible API. - carloslfu/slotstream
Dev tools · 4d ago · github.com
NPC-Forge is a framework for building conversational agents that run on the CPU without relying on machine learning or LLMs. - NPC-Forge/docs/development.md at main · gioblu/NPC-Forge
AI · 2d ago · github.com
Weedout is a Safari extension that filters out videos YouTube labels as “Made with AI”.
AI · 4d ago · masteranza.github.io
Find your next hire or your next role from Hacker News monthly threads. AI-powered matching between candidates and job postings.
AI · 4d ago · hnmatchmaker.com
I made OwnTime to balance between competing priorities in my life. The idea is based on two main influences: the concept of "roles" from "The 5 Choices" (2015), and my repeated failure to effectively implement time blocking due to the necessary flexibility in my role. The app allows you to define time budgets, which are not much more than a few mutually exclusive countdown timers. The UX is essentially that of a chess clock for an arbitrary number of players with configurable time. The whole point of the app is to kick you out of the running role/priority when its time is up. One…
Life & fun · 4d ago · owntime.app