Run all tests and contract properties in a Deed program, outputting pass/fail JSON lines and a summary. Declines to run when the program doesn't check.
Apache 2.0
521,841 tools. Updated 2026-09-06 12:24
"VEED" matching MCP tools:
- Runs a Deed program's main and reports what it prints. Refuses to run if the program lacks proper checks or asks for capabilities beyond the server's scope, such as file I/O.Apache 2.0
- Apply all confident compiler-offered fixes to a Deed module and return the repaired source, while leaving uncertain suggestions for manual review in deed_check.Apache 2.0
- Check a Deed program and report compiler diagnostics and contract obligation tiers: proven, tested, or guarded.Apache 2.0
- Explains a diagnostic code, including its meaning, why the rule exists, and an example. Use it to decode codes like DEED4025.Apache 2.0
- Compare pre- and post-patch Deed modules to get a JSON review receipt naming authority additions, weaker promise tiers, and new Guarded obligations. Apply optional policy gates for in-memory evidence.Apache 2.0
Matching MCP Servers
- AlicenseAqualityAmaintenanceEnables searching and analyzing over 560,000 CS/AI/ML research papers with LLM-powered novelty scoring and summaries. Supports literature reviews, trend monitoring, benchmark tracking, and deep research sessions through 23 specialized tools.2537010MIT
- AlicenseAqualityAmaintenanceContract-first programming language with a local MCP server for checking types, effects, capabilities, and contracts in agent-written modules. Its review tool compares before and after source sets and returns receipts for new authority, weaker promise tiers, and new Guarded runtime obligations.78Apache 2.0
Matching MCP Connectors
Generate AI talking-head videos with custom characters and voices.
Author and validate Calaf workspace seeds against the app's real importer. No account needed.
- Formats Deed source code into the standard layout. Returns formatted text or parse errors when the input does not parse.Apache 2.0
- Track whale activity and large wallet movements on PulseX. Retrieve recent swaps with configurable lookback period and minimum USD value. Requires API key.MIT
- Look up NYC property deed and mortgage records by BBL. Returns history with document IDs to access ACRIS master dataset details.MIT
- Shows a fresh tattoo post for inspiration and marks it as seen. Each call reveals a new post until all are viewed.MIT
- Search over 600,000 CS/AI/ML papers using semantic or keyword queries. Filter by impact, recency, novelty, code availability, and more.MIT
- Search for researchers by name or topic, or look up an author's profile by ID to get h-index, citations, and top papers.MIT
- Retrieve paper details, summaries, and citation entries by providing one or more arXiv IDs. Supports batch lookup of up to 50 papers and BibTeX export.MIT
- Dry-run a structured filter over recent papers to iterate on criteria like categories, novelty, or similarity before creating a watch. Returns match count and sample scores.MIT
- Extract paper content from arXiv LaTeX source. Choose 'results' for lean results section or 'all' for full paper sections including abstract, method, and conclusion.MIT
- Analyze co-authorship networks by inputting author IDs to reveal collaboration edges, papers count, and last collaboration year, supporting conflict detection and community exploration.MIT
- Embed text into a vector for HyDE retrieval: write a hypothetical answer, embed it as a document, and find matching research papers. Also embed user queries directly.MIT
- Retrieves foundational papers for a research topic, ranked by citation count and semantic similarity, to bootstrap a literature survey.MIT
- Save a research paper to your Scholar Feed library using its arXiv ID. Bookmark papers to personalize your feed and email digests.MIT
- Like a paper to calibrate your feed, signaling the algorithm to recommend similar research.MIT
- Add a research paper to a collection using its arXiv ID; collections support nested folders and are created if they don't exist. The paper is automatically saved to your library.MIT