arcanist.sh valid

arcanist.sh

Haskell tooling for the age of AI-authored code: hx, a fast Rust-based package manager, and bhc, a verifying compiler. When generation is cheap, correctness must be checkable.

For agents: Haskell tooling: hx, a Rust-based all-in-one toolchain and package manager, and bhc, a Haskell compiler to native code. Docs available as llms.txt.

haskellpackage-managercompilerllvmghc

Their llms.txt

The beginning of the file, from our validated copy saved 2026-10-27T12:29:41.354Z. Cached copy · Source on arcanist.sh

# arcanist.sh

> Haskell tooling for the age of AI-authored code: hx, a fast Rust-based package manager, and bhc, a verifying compiler. When generation is cheap, correctness must be checkable.

arcanist.sh builds Haskell tooling for the age of AI-authored code, in Rust and in public. The thesis: when generating code is cheap, correctness has to be checkable. hx is the whole Haskell toolchain in one fast binary; bhc, the Basel Haskell Compiler, is a clean-slate compiler built to check everything it can (in beta); registry.arcanist.sh is a signed Haskell package repository where bhc builds every new version and records the result. Together they lead toward a commons of verified, content-addressed definitions.

Every page below links to a clean Markdown copy; the HTML page is the same URL without `.md` (with a trailing slash). Writing on arcanist.sh is licensed CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/): reuse, quote and train on it with attribution, e.g. arcanist.sh, "Page title", URL, date. Code is licensed by its project: hx MIT, bhc BSD-3-Clause. Logos and quoted third-party material are excluded (https://arcanist.sh/license/).

## Products

- [hx](https://arcanist.sh/hx.md): the whole Haskell toolchain in one fast binary. Installs GHC and Cabal, builds, tests, formats and lints, pins every dependency by hash, publishes packages, and serves agents over MCP (`hx mcp`). Docs: https://docs.arcanist.sh/hx/llms.txt
- [bhc](https://arcanist.sh/bhc.md): the Basel Haskell Compiler, in beta. Native code through LLVM, WebAssembly for WASI, runtime profiles; compiles all 221 modules of Pandoc. Measured status: https://arcanist.sh/bhc/status.md. Docs: https://docs.arcanist.sh/bhc/llms.txt
- [registry](https://arcanist.sh/registry.md): registry.arcanist.sh, a Haskell package repository cabal reads next to Hackage, signed with hackage-security; bhc-verified builds are recorded per version

## The thesis

- [Manifesto](https://arcanist.sh/manifesto.md): Why we are rebuilding the Haskell ecosystem. In a world where AI writes the code, the language that wins is the one where correctness is checkable — where types are proofs and the compiler is the proof checker. Haskell is not niche. It is early.
- [The Commons](https://arcanist.sh/commons.md): What a function becomes when verification accumulates instead of being repeated: a content-addressed, evidence-carrying, vouched-for unit of meaning — and the shared commons that bhc compiles into running systems. When generation is cheap, verification is the bottleneck. Doing it twice is the waste.
- [Glossary](https://arcanist.sh/glossary.md): Definitions of the core ideas behind arcanist.sh: meaning engine, semantic artifact, correct by construction, and runtime profiles — the vocabulary of building Haskell tooling for the age of AI-authored code.
- [Use cases](https://arcanist.sh/use-cases.md): Where arcanist.sh fits: machine learning and numerics, realtime and audio, edge and WebAssembly, verification a
…

Related sites

Explore similar publishers →

Similar publisher descriptions and documentation. Similarity does not imply affiliation or equivalent capabilities.

Machine-readable: GET /v1/resolve?q=arcanist.sh · GET /v1/domain/arcanist.sh · this page as Accept: application/json or text/markdown · MCP lookup_domain

Automatically discovered from public files. Inclusion does not imply endorsement or publisher participation.

Claim my listing on Agent Web Map for arcanist.sh:
1. POST https://agentwebmap.com/v1/sites/arcanist.sh/claims and keep claim_id and claim_secret private.
2. Publish the verification line "AgentWebMap verification: <token>" (token from step 1) in https://arcanist.sh/llms.txt, or use the DNS, meta-tag or well-known method the response describes. This only verifies the listing; your website and domain remain yours.
3. POST https://agentwebmap.com/v1/sites/arcanist.sh/verify with {"claim_id": "...", "claim_secret": "..."}.
4. Save the api_key from the answer; it manages the listing (PATCH https://agentwebmap.com/v1/sites/arcanist.sh).
MCP equivalent: tools begin_ownership_claim, then verify_domain, at https://agentwebmap.com/mcp. Docs: https://agentwebmap.com/docs#verify

Corrections or removal requests: contact the directory.