@gfngfn
Creator · gfngfn
Last updated · Sep 1, 2026
SATySFi
STRONG · 81Community indexed
A statically-typed, functional typesetting system
Creator · gfngfn
Last updated · Sep 1, 2026
A statically-typed, functional typesetting system
Review then install
Install targets
Codex install prompt
Install the "SATySFi" agent skill from https://github.com/gfngfn/SATySFi. Read its SKILL.md or equivalent instructions first, install only the files needed for this workspace, and summarize any required setup before using it. Skill purpose: A statically-typed, functional typesetting system After the install attempt, report the result to https://www.openagentskill.com/api/agent/outcome with POST JSON {"event_id":"install_<unique-id>","skill_slug":"gfngfn-satysfi","task":"Install SATySFi","agent":"codex","outcome":"success","install_used":true}. Replace event_id with a unique value and outcome with success or failed. Report success only after the skill is installed and a minimal verification passes.Supply asset profile
Deep research, source comparison, literature review, RAG, knowledge search, and reports.
Scenario
Document processing
I need my agent to read PDFs, extract tables, and turn documents into structured data.
Agent fit
Claude Code + CLI + Codex
Codex, Claude Code, Cursor, CLI, or custom agents.
Install
Ready
npx skills add gfngfn/SATySFi
Maintenance
active
5mo since push
Risk
Needs review
Financial research output is not financial advice; require human review before any live investment decision
GitHub quality
1.2K
92/100 Quality · 86/100 Trust
Coverage tags
Review notes
Financial research output is not financial advice; require human review before any live investment decision · Financial research output is not financial advice; require human review before any live investment decision.
Agent adoption scorecard
These scores combine public repository metadata, OpenAgentSkill review signals, maintenance freshness, and install readiness. They are a shortlist signal, not a replacement for human review.
Quality
ExcellentHigh-confidence pick with strong adoption and healthy maintenance signals.
Trust
Review then installGood shortlist signal, but the agent should review audit notes, install policy, and outcome evidence before running it.
Audit
Needs reviewA machine-readable review of install readiness, security metadata, maintenance, and adoption risk.
OpenAgentSkill Trust Score v5
Use as the primary candidate after human or sandbox review.
Stars
1.2K GitHub stars
Repo activity
1.2K stars, 86 forks
Maintenance
5mo since push
License
LGPL-3.0
Install
npx skills add gfngfn/SATySFi
Install safety
Agent-readable metadata
Use this block or the embedded JSON to decide whether an agent should install this skill, choose an alternative, or ask for human review first.
Suited tasks
Suited agents
Install decision
Trust and risk
Outcome loop
Do not use when
Agent safety v2
Usable candidate, but the agent should surface permission and audit notes before installation.
Require human approval before installing into a real workspace.
medium
Skill likely fetches remote pages, APIs, repositories, or external services.
medium
Skill may read or write project files, documents, generated artifacts, or local workspace state.
Agent resolve plan
The Resolve API returns the selected skill, alternatives, safety policy, audit notes, install target, and copy-paste prompt an agent can follow without scraping this page.
Open JSON
/api/agent/resolve?task=Use%20SATySFi%20for%20an%20agent%20workflow&agent=codex&max_risk=medium
Resolve text
/api/agent/resolve?task=Use%20SATySFi%20for%20an%20agent%20workflow&agent=codex&max_risk=medium&format=text
Install handoff
/api/skills/gfngfn-satysfi/install
Agent should check
Copy prompt
Task: Use SATySFi in this workspace.
Resolve first: https://www.openagentskill.com/api/agent/resolve?task=Use%20SATySFi%20for%20an%20agent%20workflow&agent=codex&max_risk=medium
Review install handoff: https://www.openagentskill.com/api/skills/gfngfn-satysfi/install
Install command: npx skills add gfngfn/SATySFi
Before running it, summarize audit warnings, required permissions, and the fallback skill if install is risky.Agent handoff
Use the public install endpoint to fetch the command, safety checklist, target prompts, and canonical links for this skill.
Install handoff
/api/skills/gfngfn-satysfi/install
LLM text format
/api/skills/gfngfn-satysfi/install?format=text
Find alternatives
/api/skills/search?q=SATySFi&limit=3
Agent prompt
Use SATySFi for this task. Review https://www.openagentskill.com/api/skills/gfngfn-satysfi/install, then install with: npx skills add gfngfn/SATySFiRegistry metadata
This page exposes the same decision, trust, audit, use-case, and install signals through the Registry API, so agents can rank this skill without scraping the UI.
Manifest
/api/registry/manifest/gfngfn-satysfi
LLM text
/api/registry/manifest/gfngfn-satysfi?format=text
Install alias
/api/registry/install/gfngfn-satysfi
Recommend
/api/registry/recommend?task=Use%20SATySFi%20in%20an%20agent%20workflow&limit=3
Agent fit
Document processing
Use-case tags
Platforms
OCaml, PDF, Claude Code
Audit report
A machine-readable review of install readiness, security metadata, maintenance, and adoption risk.
Agent decision cockpit
Use this as a leading candidate, then validate the README and install path in your own agent stack.
Role in stack
Primary pick
Primary fit
Document processing
Trust label
Production-ready
Install path
Command ready
Use when
Evidence
review first
Implementation path
Trust profile
Good shortlist signal, but the agent should review audit notes, install policy, and outcome evidence before running it.
GitHub adoption
PASS1.2K GitHub stars
Stars/forks activity
INFO1.2K stars, 86 forks; issue activity unavailable in current metadata
Recent maintenance
INFO5mo since push
License clarity
PASSLGPL-3.0
Good signals
Review before install
Recommended action
Use as the primary candidate after human or sandbox review.
Quality profile
High-confidence pick with strong adoption and healthy maintenance signals.
Workflow fit
Parse messy files
I need my agent to read PDFs, extract tables, and turn documents into structured data.
Search private knowledge
I need my agent to build a RAG workflow over documents and retrieve reliable context.
Build and ship code
I need a coding agent that can understand a repository, edit code, and review pull requests.
Workflow fit
Ingest, retrieve, and cite
A workflow for document-heavy agents that ingest files, create searchable knowledge, retrieve relevant context, and answer with grounded sources.
Turn skills into distribution
A workflow for turning newly indexed skills into SEO briefs, social drafts, comparison pages, and reusable publishing workflows.
Inspect, patch, and verify code
A workflow for software agents that inspect repositories, review pull requests, generate tests, and turn findings into shippable patches.
Alternative shortlist
Similar skills that may fit this task.
Turn any PDF or image document into structured data for your AI. A powerful, lightweight OCR toolkit that bridges the gap between images/PDFs and LLMs. Supports 100+ languages.
Python tool for converting files and office documents to Markdown.
#1 PDF Application on GitHub that lets you edit PDFs on any device anywhere
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
A statically-typed, functional typesetting system
Imported by the skill-only GitHub discovery pipeline because it matches agent skill, automation, domain workflow, RAG, document-processing, data, finance, security, or developer-tool signals. Protocol-server projects are excluded from automated imports.
Frameworks & tools
Decision snapshot
1,248 GitHub stars
Audit
Install and adoption review
Agent-proven evidence
Outcome reports after resolve, review, install, and one narrow run.
No agent outcome data yet. The first agent run can report success, setup needs, risk blocks, failure, or not-relevant through /api/agent/outcome.
Install
Free and open source. Review the report before installing into production agents.
Growth loop
Scenario-led draft for SATySFi, ready for a manual X post.
Before you hand an agent source-backed research, give it a repeatable starting point. SATySFi: A statically-typed, functional typesetting system 1.2K stars https://www.openagentskill.com/skills/gfngfn-satysfi?ref=x
Listing + install path for SATySFi: https://www.openagentskill.com/skills/gfngfn-satysfi?ref=x Install: npx skills add gfngfn/SATySFi
Listing source
This listing was indexed from public sources and is not marked official until a maintainer claim is approved.
Attribution links to the public repository or creator profile. Creators can claim the listing to update ownership signals.
Claim this skillOwner claim
This Community indexed listing is attributed to gfngfn but is not marked official yet. Claim it to add a verified owner signal and make future launch, install, and audit updates easier to trust.
Creator backlink kit
Show the canonical listing, current trust and audit signals, and real Agent-Proven evidence where developers evaluate the repository.
[](https://www.openagentskill.com/skills/gfngfn-satysfi?ref=github&utm_source=github&utm_medium=referral&utm_campaign=creator_badge)
[](https://www.openagentskill.com/skills/gfngfn-satysfi?ref=github&utm_source=github&utm_medium=referral&utm_campaign=creator_badge)
[](https://www.openagentskill.com/skills/gfngfn-satysfi/audit)
[](https://www.openagentskill.com/skills/gfngfn-satysfi?ref=github&utm_source=github&utm_medium=referral&utm_campaign=creator_badge)gfngfn✓
@gfngfn
Share whether this skill looks useful for your agent workflow. Aggregated feedback improves rankings over time.
Review then install
PaddleOCR
Turn any PDF or image document into structured data for your AI. A powerful, lightweight OCR toolkit that bridges the gap between images/PDFs and LLMs. Supports 100+ languages.
83.1K StarsMarkitdown
Python tool for converting files and office documents to Markdown.
156.1K StarsStirling PDF
#1 PDF Application on GitHub that lets you edit PDFs on any device anywhere
81.2K StarsQuarkdown
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
15.5K StarsPermission surface
filesystem or document access
Agent outcomes
No agent outcome data yet
Docs
Usable metadata, review docs
Risk summary
Install readiness