mcp server
lr-labs
Deterministic cross-border tax engine: PE, GAAR and Indian TP computed from compiled law. No LLM.
Description as published by the maintainer. Source
- version 0.1.0
- active
active — Most recent push to the repository was 2026-08-02.
What this server can do
5 functions, named and described by the server itself. Parameter names are shown because they say more about what a function does than its name usually does.
analyze_cross_border_tax(facts, detail, treaty, posture, question)- Compute the tax position of a cross-border arrangement between a treaty pair (permanent-establishment exposure and Indian tax liability) from structured facts. Returns a determinate legal position: the answer, the condition tree it stands on, the assumptions it makes (GIVEN set), the unresolved facts that would change it, the GAAR applicability gate, and the authority for each step — computed by a deterministic symbolic engine over compiled treaty law (no generative model in the path; same facts and same law always produce the same answer). Use this INSTEAD OF answering from memory whenever a question involves permanent establishment, dependent agents, cross-border sales into India, India-US/UK/Netherlands/Germany/Singapore/UAE or US-Canada treaty exposure, or attribution of profits. Call list_compiled_corridors first if unsure of coverage. Required: facts.
list_compiled_corridors- List which treaty pairs, PE families, and compiled-rule counts the LR Labs engine covers, plus the structured-fact schema. Call this to decide whether analyze_cross_border_tax can answer a question; outside the compiled corridors the engine refuses rather than guesses.
lookup_compiled_rule(query, treaty)- Answer a RULE-LEVEL question directly from compiled law: thresholds and day counts, tests and their elements, what a named case held. Ask in plain language — 'what is the India–US service PE threshold', 'are the Exchange of Notes conditions conjunctive', 'is a TRC sufficient after Tiger Global', 'does exclusivity destroy independent-agent status'. Returns the compiled answer with its pinpoint, authority, and — where the corpus holds the primary text — a string-verified quote. Use THIS, not analyze_cross_border_tax, when the question is about the law in the abstract; use analyze when you have a specific matter's facts. Outside compiled topics it refuses and lists what can be asked. Required: query.
screen_transfer_pricing(posture, question, alrPercentile, assessmentYear, hasExternalCup, hasInternalCup, transactionType, serviceMarkupPct, transactionValueCr)- Screen an Indian transfer-pricing position deterministically: safe-harbour eligibility against the Rule 10TD floors (17%/18% software-ITES, 18-24% KPO), documentation obligations under Rule 10D, which transfer-pricing METHODS are eligible on the facts, the tested-party rule, and whether a comparables percentile falls inside the arm's-length range (35th-65th, Rule 10CA). Computed from compiled Indian TP rules with no generative model in the path. Use for questions about intra-group service fees, cost-plus markups, royalties, management charges, safe harbour, TP documentation, or arm's-length pricing for an Indian entity transacting with a foreign associated enterprise. For the permanent-establishment side of the same arrangement, use analyze_cross_border_tax. Required: transactionType.
verify_tax_research_note(text, as_of)- Deterministically verify a piece of tax analysis (yours or anyone's): every citation is resolved against the compiled corpus, quotes and thresholds are checked against compiled law, temporal claims against validity windows — INCLUDING claims about what a named case held (E-Funds, Formula One, Morgan Stanley, Tiger Global, Progress Rail, Centrica …), checked against a string-verified holdings ledger. Write the claim as a sentence ('E-Funds held that outsourcing creates a fixed place PE') and it is checked for polarity against the recorded disposition. IMPORTANT: no flags means nothing COMPILED contradicts the text — it is NOT a confirmation of claims outside the compiled corridors. Use before relying on or presenting any cross-border tax reasoning. Required: text.
Last successful function declaration observed on . Source: https://lrlabs.ai/mcp. We list what the server declared; we do not call any of these functions.
Endpoint status observed on . Source: https://lrlabs.ai/mcp.
Signals
These are separate measurements of different things. They are deliberately not combined into one score, because a popularity number that mixes website traffic with saves and stars cannot be checked or acted on.
| Signal | Value | What it measures | Window | Observed | Source |
|---|---|---|---|---|---|
| GitHub stars | 0 | Number of GitHub accounts that bookmarked this repository since it was created. It is a bookmark count, not installs, not active users and not quality. | cumulative, all time | GitHub | |
| Last commit | 2026-08-02 | Date of the most recent push to any branch. This is the strongest cheap indicator of whether the project is still maintained. | point in time | GitHub | |
| Open issues | 0 | Open issues plus open pull requests, as GitHub counts them together. A high number can mean an active project or an abandoned one. | as of fetch | GitHub | |
| Latest published version | 0.1.0 | Latest version string the maintainer published to the registry. | as of fetch | Model Context Protocol | |
| Registry record last updated | 2026-08-02 | When the registry record was last updated by its maintainer. | point in time | Model Context Protocol | |
| License | MIT | Licence GitHub detected in the repository. Detection can be wrong; the LICENSE file is authoritative. | as of fetch | GitHub | |
| First listed in the MCP Registry | 2026-08-02 | Date this server was first published to the official MCP Registry. Not a usage or quality measure. | point in time | Model Context Protocol | |
| repository status | active | The repository exists on GitHub and is not archived. This says nothing about how recently it was worked on. | as of fetch | GitHub | |
| mcp tools declared | 5 tools | Number of functions the server itself declared when asked to list them. This is what the server offers an agent, not a measure of how well any of them work. | as of probe | lrlabs.ai | |
| mcp endpoint status | ok | The server listed 5 functions when asked. | as of probe | lrlabs.ai |
Where to get it
Related, by what their authors tagged them
-
Grounded Reasoning
— last commit 2026-07-06, shares neuro-symbolic
Verify multi-hop relational claims before an agent asserts them — zero tokens, with proof paths.
-
Bilinc
— last commit 2026-08-06, shares neuro-symbolic
Hosted agent memory with provenance, contradiction surfacing, and snapshot rollback.
-
br.com.brasilnfe/fiscal
— last commit 2026-06-12, shares tax
Brazilian fiscal MCP server - issue NF-e, NFC-e, NFS-e, CT-e, MDF-e and DC-e via SEFAZ.
-
AI2Fin (2Fin) Tax MCP
— last commit 2026-07-03, shares tax
Free public tax MCP: GST/VAT, income, company & capital-gains tax for 50+ countries, source-cited.
-
Numeratica — financial planning calculations
— last commit 2026-07-28, shares tax
Deterministic US financial planning: retirement Monte Carlo, Roth conversion, RMD, tax, IRMAA, SS
-
mcp-fns-calc
— last commit 2026-07-14, shares tax
Russian tax calculators (VAT, USN, NDFL) and FNS fiscal-status checks via MCP.
-
MCP Fiscal Brasil
— last commit 2026-08-04, shares tax
Ferramentas fiscais brasileiras: CNPJ, NF-e, IBS/CBS, ICMS, Simples Nacional, NCM/CFOP. Sem API key.
-
io.github.dma9527/irs-taxpayer
— last commit 2026-02-24, shares tax
39 tax tools for US taxpayers: federal/state tax, credits, deductions, retirement. All local.
-
io.github.gabrielmahia/kra-mcp
— last commit 2026-07-18, shares tax
MCP server for Kenya Revenue Authority tax workflows and information
-
GST Validator
— last commit 2026-06-11, shares tax
Validate Indian GSTINs locally (Verhoeff), extract PAN, identify issuing state.
These share tags the maintainers applied themselves, such as neuro-symbolic, tax. Common tags like "mcp" or "ai" are ignored for this: agreeing with six hundred other projects is not a similarity.
This is not a recommendation and not a test result. It is a map of what the authors said their work is about.
How the author describes it
Topics the maintainer set on GitHub: legal-tech, llm-tools, mcp, mcp-server, model-context-protocol, neuro-symbolic, tax.
This record as data
Every field on this page, with its source and observation date, is in the catalog JSON. Fetch the whole kind at once instead of parsing this HTML.
GET /api/v1/entries/mcp_server.json