Ajisai

Exact rational and algebraic computation, with machine-readable Word contracts, in Ajisai.

Connector by masamoto1982 · GitHub account verified by the MCP Registry

IndexedMITLocal (stdio)

Chalk Labs

Need help deploying Ajisai?

Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.

Book a call

Install

Works with Claude Code, Codex, VS Code, Cursor, Windsurf, Claude Desktop. Read the repository before you give any tool access to your data.

npx agentmarket install connector/masamoto1982-ajisai

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

About

Exact rational and algebraic computation, with machine-readable Word contracts, in Ajisai.

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its tool list, install config and code. Checked Nov 1, 2026.

Tools: 3 read · 0 write · 0 delete · 1 not yet classified
Secrets: None asked for
Install scripts: None found
Runs as: Node.js package

Tools by what they do 4

Read from the source code; the running server may list different tools.

Read 3 · Look things up without changing anything.

check
compute
word_contract

Not yet classified 1 · We could not tell from the name and description.

infer_contracts

Network hosts it talks to 2

github.com · found in code
masamoto1982.github.io · found in code

Tools (4)

Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].

check
Parse and resolve Ajisai source without executing it; also verifies declared contracts conservatively, and refuses a block written right before MAP, FILTER, FOLD or SCAN that cannot leave exactly one value, as running it would.
compute
Description is built at runtime.
infer_contracts
Infer each user-defined Word's stack contract without executing its body: `inputs` and `outputs` (a count, or `variable`), `field` (`closed`, or `leaving` with the `fieldExits` that leave it) and a paste-ready `#:contract` line in `suggested`. Source that does not parse is the same `malformedSource` error check reports.
word_contract
Return the generated canonical registry entry for a Word — its arity, purity, NIL policy, contract, and `cost`: what the Word charges on each metered resource (`steps`/`numeric`/`collection`), as a growth class in its input. Cost classes join pointwise under concatenation, so a phrase's bound is the widest bound among its Words — read them here to budget a program before running it rather than discovering the ceiling by hitting it. A class is how the charge *grows*, never how large it is: two programs of the same class can differ by orders of magnitude. Measured, `[ 1 2 3 4 5 ] [ 0 ] [ ADD ] F…

Signals

Stars: 0
Forks: 0
Open issues: 0
Last commit (this folder): Oct 22, 2026 (15 days ago)
Last release: Oct 13, 2026 (24 days ago)

From GitHub (fetched Oct 24, 2026).

Details

Registry name: io.github.masamoto1982/ajisai
Version: 0.9.0
Auth: No auth
Packages: npm ajisai-mcp-server
License: MIT
Repository: github.com/masamoto1982/Ajisai
Website: masamoto1982.github.io/Ajisai/
First seen: Oct 24, 2026
Last checked: Oct 24, 2026
Source: Official MCP Registry github-graphql

Done for you

Rather not set it up yourself?

Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.

See how we build AI agents →Read the case studies

Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.

launches shipped: 50+; launches shipped
media placements: 500+; media placements
founders on every account: 2; founders on every account

Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block

Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.

Get Ajisai running in your business

Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.

Need help deploying Ajisai?

Call Get help

Cite this page

Ajisai MCP server. Agent Mart. https://agentmart.dev/connectors/masamoto1982-ajisai (last updated 2026-10-24)