Ajisai
本地Exact rational and algebraic computation, with machine-readable Word contracts, in Ajisai.
安装配置
{
"mcpServers": {
"ajisai": {
"command": "npx",
"args": [
"ajisai-mcp-server"
]
}
}
}
Exact rational and algebraic computation, with machine-readable Word contracts, in Ajisai.
{
"mcpServers": {
"ajisai": {
"command": "npx",
"args": [
"ajisai-mcp-server"
]
}
}
}