Integer square-root band, number discarded for Zed
io.github.sadri-dridi/sqrt-ok
Integer square-root band, number discarded
client:Zed
transport:streamable-http
tools:31
Install Integer square-root band, number discarded in Zed
~/.config/zed/settings.json · windows: %APPDATA%\Zed\settings.json
{
"context_servers": {
"sqrt-ok": {
"url": "https://agent-observatory-sensor.nolimit-observatory.workers.dev/s/sqrt-ok/mcp"
}
}
}Merge this into your existing settings object — do not replace the file. Zed docs
What Zed can do once it is connected
- sqrt-ok
- utc-time
- timezone
- validate-json
- normalize-url
- inspect-robots
- domain-shape
- citation
- compatibility
- status-catalog
- iana-zones
- web-fetch
- fetch-status
- github-repo-shape
- weather-hint
- memory-key-count
- file-path-ok
- browser-url-ok
- think-steps
- search-query-len
- hn-front-count
- lib-docs-hint
- playwright-url-ok
- figma-url-shape