Dhall let-binding count, body discarded
Dhall let-binding count, body discarded
Install
Add this to your client's MCP configuration (Claude Desktop: claude_desktop_config.json; Cursor: .cursor/mcp.json; VS Code and others use the same "mcpServers" shape).
claude mcp add --transport http dhall-let-binding-count-body-discarded 'https://agent-observatory-sensor.nolimit-observatory.workers.dev/s/dhall-ok/mcp'{
"mcpServers": {
"dhall-let-binding-count-body-discarded": {
"type": "http",
"url": "https://agent-observatory-sensor.nolimit-observatory.workers.dev/s/dhall-ok/mcp"
}
}
}Documentation
From the project's README on GitHub, refreshed weekly. Links open on GitHub.
Named MCP utilities
Independently listed public MCP servers for autonomous clients. Each folder is one official registry name with its own converting intake.
- shortuuid hex charset, value discarded —
io.github.sadri-dridi/shortuuid-hex - Snowflake sequence bits, id discarded —
io.github.sadri-dridi/snowflake-seq - Cassandra unixTimeUUID layout, value discarded —
io.github.sadri-dridi/timeuuid-unix - Whether Hebrew year is embolismic —
io.github.sadri-dridi/hebrew-leap - Whether Indian national year is leap —
io.github.sadri-dridi/indian-leap - UTC ISO week-year century —
io.github.sadri-dridi/iso-century - PascalCase hump count, value discarded —
io.github.sadri-dridi/pascal-hump - UK sort-code hyphenated shape, value discarded —
io.github.sadri-dridi/sort-hyphen - UK sort code 6-digit shape, value discarded —
io.github.sadri-dridi/sortcode-ok - TypeID base32 suffix, value discarded —
io.github.sadri-dridi/typeid-suffix - Discord snowflake worker bits, id discarded —
io.github.sadri-dridi/discord-worker - MSSQL IDENTITY integer band, value discarded —
io.github.sadri-dridi/identity-mssql - Japanese era year band —
io.github.sadri-dridi/japanese-ok - Julian leap-year check from UTC —
io.github.sadri-dridi/julian-leap - Approximate sidereal hour band —
io.github.sadri-dridi/sidereal-hr - Whether current UTC month is a solstice month —
io.github.sadri-dridi/solstice-ok - grapheme-cluster run, text discarded —
io.github.sadri-dridi/grapheme-run - Discordian season 1-5 band —
io.github.sadri-dridi/discordian-ok - UTC ISO week-date YYYY-Www-D —
io.github.sadri-dridi/weekdate-ok - Civil twilight hour-band UTC —
io.github.sadri-dridi/twilight-ok - UTC Thursday of the current ISO week —
io.github.sadri-dridi/iso-week-thu - Snowflake worker-id bits, id discarded —
io.github.sadri-dridi/snowflake-worker - Whether Islamic year is leap —
io.github.sadri-dridi/islamic-leap - Whether Persian year is leap —
io.github.sadri-dridi/persian-leap
Agent Ads doors
Doors that route autonomous agents to Agent Ads: labeled placement where agents look for tools, measured with daily HMAC nicknames, 7-day trial. Readiness doors also run a bounded website check.
- Get Agent Customers —
io.github.sadri-dridi/get-agent-customers - Advertise To Agents —
io.github.sadri-dridi/advertise-to-agents - List API For Agents —
io.github.sadri-dridi/list-api-for-agents - Agent Discovery Placement —
io.github.sadri-dridi/agent-discovery-placement - Agent Ready Website Check —
io.github.sadri-dridi/agent-ready-website-check - llms.txt Readiness —
io.github.sadri-dridi/llms-txt-readiness - Agent Traffic For Startups —
io.github.sadri-dridi/agent-traffic-for-startups - MCP Listing For Products —
io.github.sadri-dridi/mcp-listing-for-products - Agent Acquisition Desk —
io.github.sadri-dridi/agent-acquisition-desk - AI Agent Customers —
io.github.sadri-dridi/ai-agent-customers - Agents Find Your Product —
io.github.sadri-dridi/agents-find-your-product - Agent Channel Placement —
io.github.sadri-dridi/agent-channel-placement - Agent Visibility Check —
io.github.sadri-dridi/agent-visibility-check - Agent Marketing Index —
io.github.sadri-dridi/agent-marketing-index - Sponsored Agent Placement —
io.github.sadri-dridi/sponsored-agent-placement - Agent Lead Generation —
io.github.sadri-dridi/agent-lead-generation - Agent First Listing —
io.github.sadri-dridi/agent-first-listing - Agent Crawl Readiness —
io.github.sadri-dridi/agent-crawl-readiness - Agent Hops For Your Site —
io.github.sadri-dridi/agent-hops-for-your-site - Agent Audience Index —
io.github.sadri-dridi/agent-audience-index - Agent Placement Trial —
io.github.sadri-dridi/agent-placement-trial - Agent Facing Catalog —
io.github.sadri-dridi/agent-facing-catalog - Agent Discovery Index —
io.github.sadri-dridi/agent-discovery-index - Product For Agents Index —
io.github.sadri-dridi/product-for-agents-index
Frequently asked questions
What is Dhall let-binding count, body discarded?
Dhall let-binding count, body discarded
How do I install Dhall let-binding count, body discarded?
It runs as a remote server. In Claude Code: claude mcp add --transport http dhall-let-binding-count-body-discarded 'https://agent-observatory-sensor.nolimit-observatory.workers.dev/s/dhall-ok/mcp'. For other clients, paste the JSON configuration from this page into their MCP settings.
Does Dhall let-binding count, body discarded need an API key?
Its registry entry lists no required key or secret. Some features may still need an account with the service it connects to.
Is Dhall let-binding count, body discarded open source?
Its code is public on GitHub, but the repository does not declare a standard license.
Who maintains Dhall let-binding count, body discarded?
It is published by sadri-dridi. AI.tn lists it but does not maintain or endorse it.
From the official MCP Registry. Listing is not an endorsement: review a server's code and permissions before giving it access to your data.