OWL class axiom count, body discarded

io.github.sadri-dridiPublished by GitHub account sadri-dridiv1.0.0Updated Oct 27, 2026

The publisher's own server: Axiom

VerifiedStreamable HTTPWeb executableWeb Search & Scraping Developer Tools

Server details

Identifier: io.github.sadri-dridi/owl-ok
Transport: Streamable HTTP
Runtime: Web executable
Trust: Verified
Published: Sep 17, 2026

Security note

MCP servers receive tool arguments from a conversation and may perform external actions. Review what a server can do before you enable it, and give it only the access it needs.

The registry verified the GitHub account sadri-dridi for this listing. That does not show the account is the product's maker.

SourceWeft's checks cover whether the listing is complete and the endpoint answered; they do not review the server's code or what its tools do.

Add a badge to your README

Show readers this MCP server is listed on SourceWeft. The badge links to this page.

[![Listed on SourceWeft](https://sourceweft.com/badge/mcp/io.github.sadri-dridi%2Fowl-ok.svg)](https://sourceweft.com/mcp/io.github.sadri-dridi%2Fowl-ok?utm_source=readme&utm_medium=badge)

Overview

AI-generated overview

Remote MCP endpoint offering small, mostly stateless utility checks: URL and host shape, HTTP status, time zones, JSON validity and simple arithmetic.

What you can do: Check URLs and hosts: normalize a URL, split a hostname into labels, test whether a URL can be opened, and parse GitHub or Figma URLs
Fetch public web resources: HTTP status and content type for a URL, HEAD status, robots.txt group counts, library docs status, Wikipedia title existence
Work with time: current UTC timestamp, time in an IANA zone, and a list of common zone names
Validate small inputs: JSON validity, safe-looking file paths, Jira issue key shape, character count of a search query, key count in a JSON object
Do light computation and lookups: a+b arithmetic, temperature and coordinates via Open-Meteo, Hacker News front-page story count
Return index-style pointers to third-party…
When to use it: Useful when an assistant needs quick, low-stakes checks such as whether a URL resolves, what a hostname looks like, the current time in a zone, or whether a string is valid JSON, without giving it broad web or filesystem access. Also relevant if you want pointers to agent-facing tool or advertising gateways.
Requirements: Remote streamable HTTP endpoint; no package, account, API key or environment variable is declared. Network access from the endpoint is needed for the tools that fetch public URLs, robots.txt, Wikipedia, Hacker News and Open-Meteo.

Before you install

Several tools return only counts or shapes and discard the input, so results are limited. The index tools return redirect hops to third-party services, including a pay-per-call tool gateway and a 7-day advertising trial handoff, which may involve costs or sign-ups; treat those links as untrusted and verify before following. The server is unauthenticated and third-party hosted.

Installation

In SourceWeft

Open OWL class axiom count, body discarded in the dashboard and add it to a workspace.
Enable the server for the chats that should use its tools.

Web executable via Streamable HTTP. Remote servers run from the web runtime once configured in a workspace.

Use with an agent

Paste this prompt into Claude Code, Codex, Cursor or another agent — or into SourceWeft chat. The agent reads this server's install guide, shows you its publisher, endpoint and sign-in, and adds it to your client once you agree. Keys never go into a command.

Read https://sourceweft.com/mcp/io.github.sadri-dridi%2Fowl-ok/install.md and connect the MCP server it describes to my client. Before changing any config, show me its publisher, endpoint and sign-in method and wait for my OK. Never put an API key in a command or in a file I would commit; ask me where it should come from.

Read the install guide the agent follows

Other MCP clients

Add this to your client's mcpServers config.

{
  "mcpServers": {
    "owl-class-axiom-count-body-discarded": {
      "type": "http",
      "url": "https://agent-observatory-sensor.nolimit-observatory.workers.dev/s/owl-ok/mcp"
    }
  }
}

README

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

Source: README.md at commit f628fbb