{"serverId":"mcp-registry/fi.sukuk/sukukfi","tools":[{"name":"get_contracts","fixed":{"name":"get_contracts","description":"Verified SukukFi contract addresses on Berachain Mainnet with explorer links: the duPRT share token and the vault proxies for each accepted asset.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","properties":{}},"annotations":{"readOnlyHint":true},"title":"SukukFi contract addresses"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":80,"tokensAfter":80},{"name":"get_doc","fixed":{"name":"get_doc","description":"Return a full SukukFi documentation page as markdown. Call search_docs first to find a slug, or pass a known slug such as \"for-capital-providers/risk-considerations\".","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["slug"],"properties":{"slug":{"type":"string","description":"Page slug, e.g. \"overview\""}},"additionalProperties":false},"annotations":{"readOnlyHint":true},"title":"Get a documentation page"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":117,"tokensAfter":117},{"name":"get_vault_stats","fixed":{"name":"get_vault_stats","description":"Current on-chain metrics for SukukFi vaults on Berachain: capital held, pending deposits and redemptions, and participant counts. Refreshed from Berachain RPC.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","properties":{"asset":{"enum":["USDC.e","USD₮0","HONEY"],"type":"string"}},"additionalProperties":false},"annotations":{"readOnlyHint":true},"title":"Live vault statistics"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":109,"tokensAfter":109},{"name":"get_vault_terms","fixed":{"name":"get_vault_terms","description":"Deposit terms for the live SukukFi vault: target yield, capacity, minimum ticket, lockup, accepted assets and settlement cycle.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","properties":{}},"annotations":{"readOnlyHint":true},"title":"Live vault terms"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":75,"tokensAfter":75},{"name":"search_docs","fixed":{"name":"search_docs","description":"Full-text search across public SukukFi writing: the documentation (how vaults work, obligor credit assessment, Islamic finance structuring, redemptions, risk, transparency) and the blog (explainers such as \"is DeFi halal\", \"are stablecoins halal\").","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["query"],"properties":{"limit":{"type":"integer","maximum":20,"minimum":1},"query":{"type":"string","minLength":2,"description":"Search terms, e.g. \"obligor default\" or \"is defi halal\""},"source":{"enum":["docs","blog"],"type":"string","description":"Restrict to one corpus"}},"additionalProperties":false},"annotations":{"readOnlyHint":true},"title":"Search SukukFi documentation"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":194,"tokensAfter":194}],"toolsChanged":5,"tokensSaved":0,"todo":[{"tool":"get_vault_stats","params":["asset"]},{"tool":"search_docs","params":["limit"]}],"note":"Deterministic fixes. Changes marked verify need a human look before shipping (renames, inferred annotations, inferred types, removed text). Parameter descriptions in `todo` need to be written by someone who knows the API."}