Agentpmt Skills

Lean Proof To Code Translator - C Rust Wasm: Start asynchronous Lean proof export. Use when an agent needs lean proof to code translator c rust wasm, lean to code translator w proof c rust wasm, compile lean proof programs to c for native integration, generate rust exports from pinned lean proof bundles, produce constrained wasm artifacts from lean proof code, package code generation runs with certificates and logs, generate, source archive file id through AgentPMT-hosted remote tool calls.

Plaud Recordings to Google Calendar Events: Puts the meetings you agree to out loud straight onto your Google Calendar, without Zapier in the middle. Plaud's own app has no Calendar integration, so this closes that gap directly: each new recording is scanned, the transcript pulled, and any genuine scheduling commitment spoken in it ("let's do Tuesday at 3", "I'll come back out Thursday morning") is extracted with the relative date resolved against the recording's own date and your timezone. Eac.

Commerce and Trade Competitiveness Data Hub: Query World Bank TCdata360 trade and competitiveness data by country or region name. Use when an agent needs commerce and trade competitiveness data hub, trade competitiveness data, export market analysis, trade competitiveness benchmarking, tariff and logistics monitoring, cross border policy research, query trade data, country or region through AgentPMT-hosted remote tool calls. Discovery terms: commerce and trade competitiveness data hub.

Elevation Data - Point, Path, Charts & Statistics: Get elevation data for points or paths. Use when an agent needs elevation data point, path, charts & statistics, elevation data point path charts statistics, hiking trail elevation profile analysis, cycling route difficulty assessment, geographic surveying and flood risk mapping, real estate site elevation evaluation, get elevation, locations through AgentPMT-hosted remote tool calls. Discovery terms: elevation data point, path.

Global Governance & Institutional Quality Data: Query governance indicators including corruption control, rule of law, government. Use when an agent needs global governance & institutional quality data, governance institutional quality, research corruption control scores by country, compare rule of law rankings across regions, track government effectiveness over time, analyze political stability indicators, query governance data, country or region through AgentPMT-hosted remote tool calls.

Infrastructure, Mobility, and Housing Data Hub: Query World Bank infrastructure data by country or region name. Use when an agent needs infrastructure, mobility, and housing data hub, infrastructure urban development, mobility and transit analysis, infrastructure access benchmarking, housing and permit trend analysis, urban planning support, query infrastructure data, country or region through AgentPMT-hosted remote tool calls. Discovery terms: infrastructure, mobility, and housing data hub.

Plaud Spoken Field Notes to a Structured Sheet: Turns a spoken site visit into a filled-in spreadsheet row, so measurements and specs never get typed up twice. Built for anyone who dictates structured details on the job rather than writing them down: window and flooring measurements, equipment specs, inspection findings, punch lists, service call notes. Say the details out loud in the same order each visit (client, room, width, drop, colour, notes) and the workflow reads each new Plaud recordin.

Lean Proof To Solidity Smart Contract Generator: The tool allows you to validate Lean, generate Solidity from it, compile the. Use when an agent needs lean proof to solidity smart contract generator, fetch allowable advanced lean templates and snippets, validate advanced lean solidity ir before generation, generate solidity from advanced lean solidity ir, compile generated solidity to abi and bytecode, catalog, compile abi bytecode, soliditytext through AgentPMT-hosted remote tool calls.

Narrated Walkthrough to a Numbered SOP Document: Turns talking through a job out loud into a written, numbered standard operating procedure. Built for the people who actually know the equipment and have no time to write documentation: maintenance and facilities teams, field service, manufacturing, labs, franchise operations, and any owner trying to get a process out of their own head before handing it over. Walk the machine or the task and narrate it, saying the step number out loud as you go.

AI Gmail Inbox Classifier & Auto-Archive with Hourly Telegram Alerts: Automatically organize and clean up your Gmail inbox every hour, hands-free. This AI email automation reads each new message, classifies it into one of eleven of your own Gmail labels (across the "00 Automated", "00 Human", and "00 Bookkeeping" label groups), applies the right label, and archives it out of your inbox — so you reach inbox zero without lifting a finger. The moment a message is tagged Important, you get an insta.

One Plaud Recording, Several Differently Formatted Summaries: Gets you past the one-template-per-recording ceiling. The Plaud app applies a single AutoFlow template to a recording, so if you want a short recap for yourself, a decisions-only version for the people who missed it, and a clean action list for your task manager, you are re-running or rewriting by hand. This workflow reads the transcript once and produces every format you have defined in a single pass: you list the output formats you.

Plaud Transcripts Corrected With Your Own Terminology Glossary: Fixes the words your transcription keeps getting wrong, by giving the pipeline your vocabulary instead of hoping a bigger model guesses right. Every speech model mangles terms it has never seen: cell line and reagent names, drug and device names, case and matter numbers, part numbers, local spelling and number conventions, team and client names. Swapping to a different model does not fix this, because none of them have your terms e.